| /trunk/kernel/arch/ia32xen/include/mm/memory_init.h |
|---|
| File deleted |
| /trunk/kernel/arch/ia32xen/Makefile.inc |
|---|
| 131,7 → 131,6 |
| arch/$(ARCH)/src/cpu/cpu.c \ |
| arch/$(ARCH)/src/mm/as.c \ |
| arch/$(ARCH)/src/mm/frame.c \ |
| arch/$(ARCH)/src/mm/memory_init.c \ |
| arch/$(ARCH)/src/mm/page.c \ |
| arch/$(ARCH)/src/mm/tlb.c \ |
| arch/$(ARCH)/src/ddi/ddi.c \ |
| /trunk/kernel/arch/ia32xen/src/ia32xen.c |
|---|
| 53,7 → 53,6 |
| #include <arch/bios/bios.h> |
| #include <arch/mm/memory_init.h> |
| #include <interrupt.h> |
| #include <arch/debugger.h> |
| #include <proc/thread.h> |
| /trunk/kernel/arch/ia32xen/src/mm/memory_init.c |
|---|
| File deleted |