Changes in kernel/arch/ia32/src/ia32.c [49e6c6b4:4a5ba372] in mainline

File:

• kernel/arch/ia32/src/ia32.c (modified) (3 diffs)

kernel/arch/ia32/src/ia32.c

@@ -45 +45 @@
 #include <arch/bios/bios.h>
 #include <arch/boot/boot.h>
-#include <arch/debugger.h>
 #include <arch/drivers/i8254.h>
 #include <arch/drivers/i8259.h>
@@ -118 +117 @@
 #endif
                 
-                /* Enable debugger */
-                debugger_init();
                 /* Merge all memory zones to 1 big zone */
                 zone_merge_all();
@@ -125 +122 @@
 }
 
-void arch_post_cpu_init(void)
+void arch_post_cpu_init()
 {
 #ifdef CONFIG_SMP