diff --git a/arch/microblaze/lib/board.c b/arch/microblaze/lib/board.c
index df27c1c1b9330c4c1472de910ac78608fc6cbeb0..d6773299e1bb7d58d6976ef10f563440104080e7 100644
--- a/arch/microblaze/lib/board.c
+++ b/arch/microblaze/lib/board.c
@@ -166,6 +166,12 @@ void board_init (void)
 	/* Initialize stdio devices */
 	stdio_init ();
 
+	/* Initialize the jump table for applications */
+	jumptable_init();
+
+	/* Initialize the console (after the relocation and devices init) */
+	console_init_r();
+
 	if ((s = getenv ("loadaddr")) != NULL) {
 		load_addr = simple_strtoul (s, NULL, 16);
 	}