Index: kernel/arch/mips32/include/drivers/msim.h
===================================================================
--- kernel/arch/mips32/include/drivers/msim.h	(revision e2d97d7bfe776e01d487348ba0105bc415e371cc)
+++ kernel/arch/mips32/include/drivers/msim.h	(revision 99495b6fdd20f82371e5b06e6fc24e226ea4327a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup mips32	
+/** @addtogroup mips32
  * @{
  */
@@ -37,13 +37,7 @@
 
 /** Address of devices. */
-#define MSIM_VIDEORAM		0x90000000
-#define MSIM_KBD_ADDRESS	0x90000000
-#define MSIM_KBD_IRQ 		2
-
-#include <console/chardev.h>
-
-void msim_console(devno_t devno);
-void msim_kbd_release(void);
-void msim_kbd_grab(void);
+#define MSIM_VIDEORAM     0x90000000
+#define MSIM_KBD_ADDRESS  0x90000000
+#define MSIM_KBD_IRQ      2
 
 #endif