| /trunk/kernel/arch/ia32xen/src/ia32xen.c |
|---|
| 36,7 → 36,6 |
| #include <main/main.h> |
| #include <arch/types.h> |
| #include <typedefs.h> |
| #include <align.h> |
| #include <arch/pm.h> |
| 54,7 → 53,6 |
| #include <arch/bios/bios.h> |
| #include <arch/boot/boot.h> |
| #include <arch/mm/memory_init.h> |
| #include <interrupt.h> |
| #include <arch/debugger.h> |