Index: kernel/arch/arm32/include/console.h
===================================================================
--- kernel/arch/arm32/include/console.h	(revision 150385b9e997a42606e5cd52d68c7f1d91ee61d8)
+++ kernel/arch/arm32/include/console.h	(revision 1c6b3a21d2eba83ec0ca710845ee3a0c33cf353b)
@@ -37,11 +37,4 @@
 #define KERN_arm32_CONSOLE_H_
 
-
-/** Initializes console.
- *
- * @param devno Console device number.
- */
-extern void console_init(devno_t devno);
-
 #endif