diff --git a/src/platform/pb926/platform.c b/src/platform/pb926/platform.c
index 8f6a57a..ad4c689 100644
--- a/src/platform/pb926/platform.c
+++ b/src/platform/pb926/platform.c
@@ -103,24 +103,18 @@ void init_platform_irq_controller()
 	irq_controllers_init();
 }
 
-/* Add userspace devices here as you develop their irq handlers */
+/*
+ * Add userspace devices here as you develop
+ * their irq handlers,
+ * Only the devices to which kernel has to do
+ * anything needs to be mapped, rest will be
+ * mapped in userspace by user
+ */
 void init_platform_devices()
 {
 	/* TIMER23 */
 	add_boot_mapping(PLATFORM_TIMER1_BASE, PLATFORM_TIMER1_VBASE,
 			 PAGE_SIZE, MAP_IO_DEFAULT);
-
-	/* KEYBOARD - KMI0 */
-	add_boot_mapping(PLATFORM_KEYBOARD0_BASE, PLATFORM_KEYBOARD0_VBASE,
-			 PAGE_SIZE, MAP_IO_DEFAULT);
-
-	/* MOUSE - KMI1 */
-	add_boot_mapping(PLATFORM_MOUSE0_BASE, PLATFORM_MOUSE0_VBASE,
-			 PAGE_SIZE, MAP_IO_DEFAULT);
-
-	/* CLCD */
-	add_boot_mapping(PLATFORM_CLCD0_BASE, PLATFORM_CLCD0_VBASE,
-	                 PAGE_SIZE, MAP_IO_DEFAULT);
 }
 
 /* If these bits are off, 32Khz OSC source is used */