/trunk/kernel/arch/ppc64/include/mm/memory_init.h |
---|
File deleted |
/trunk/kernel/arch/ppc64/Makefile.inc |
---|
67,7 → 67,6 |
arch/$(ARCH)/src/ddi/ddi.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/drivers/pic.c |
/trunk/kernel/arch/ppc64/src/mm/memory_init.c |
---|
File deleted |
/trunk/kernel/arch/ppc64/src/mm/frame.c |
---|
34,7 → 34,6 |
#include <arch/boot/boot.h> |
#include <arch/mm/frame.h> |
#include <arch/mm/memory_init.h> |
#include <mm/frame.h> |
#include <align.h> |
#include <macros.h> |
/trunk/kernel/arch/ppc64/src/ppc64.c |
---|
34,7 → 34,6 |
#include <arch.h> |
#include <arch/boot/boot.h> |
#include <arch/mm/memory_init.h> |
#include <arch/interrupt.h> |
#include <genarch/fb/fb.h> |
#include <genarch/fb/visuals.h> |