| /branches/tracing/kernel/arch/amd64/src/amd64.c |
|---|
| 62,6 → 62,7 |
| #include <interrupt.h> |
| #include <arch/syscall.h> |
| #include <arch/debugger.h> |
| #include <arch/breakpoint.h> |
| #include <syscall/syscall.h> |
| #include <console/console.h> |
| #include <ddi/irq.h> |
| 163,6 → 164,10 |
| /* Enable debugger */ |
| debugger_init(); |
| //#ifdef CONFIG_UDEBUG |
| /* Enable INT3 breakpoint handler */ |
| breakpoint_init(); |
| //#endif |
| /* Merge all memory zones to 1 big zone */ |
| zone_merge_all(); |
| } |