| /branches/tracing/kernel/arch/ia32/src/ia32.c |
|---|
| 57,6 → 57,7 |
| #include <interrupt.h> |
| #include <ddi/irq.h> |
| #include <arch/debugger.h> |
| #include <arch/breakpoint.h> |
| #include <proc/thread.h> |
| #include <syscall/syscall.h> |
| #include <console/console.h> |
| 97,6 → 98,8 |
| /* Enable debugger */ |
| debugger_init(); |
| /* Enable INT3 breakpoint handler */ |
| breakpoint_init(); |
| /* Merge all memory zones to 1 big zone */ |
| zone_merge_all(); |
| } |