Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 88dfee72b892efbc89d6fc68db4a2e3de85ea013)
+++ kernel/arch/amd64/src/amd64.c	(revision e3bc35535127f70c39dbb0db723a7da15287e0aa)
@@ -43,5 +43,4 @@
 #include <arch/bios/bios.h>
 #include <arch/boot/boot.h>
-#include <arch/debugger.h>
 #include <arch/drivers/i8254.h>
 #include <arch/drivers/i8259.h>
@@ -161,6 +160,4 @@
 #endif
 		
-		/* Enable debugger */
-		debugger_init();
 		/* Merge all memory zones to 1 big zone */
 		zone_merge_all();