.resource = lpc32xx_tsc_resources,
 };
 
+/* RTC */
+
+static struct resource lpc32xx_rtc_resources[] = {
+       {
+               .start = LPC32XX_RTC_BASE,
+               .end = LPC32XX_RTC_BASE + SZ_4K - 1,
+               .flags = IORESOURCE_MEM,
+       },{
+               .start = IRQ_LPC32XX_RTC,
+               .end = IRQ_LPC32XX_RTC,
+               .flags = IORESOURCE_IRQ,
+       },
+};
+
+struct platform_device lpc32xx_rtc_device = {
+       .name =  "rtc-lpc32xx",
+       .id = -1,
+       .num_resources = ARRAY_SIZE(lpc32xx_rtc_resources),
+       .resource = lpc32xx_rtc_resources,
+};
+
 /*
  * Returns the unique ID for the device
  */
 
 extern struct platform_device lpc32xx_i2c1_device;
 extern struct platform_device lpc32xx_i2c2_device;
 extern struct platform_device lpc32xx_tsc_device;
+extern struct platform_device lpc32xx_rtc_device;
 
 /*
  * Other arch specific structures and functions