/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 |