Changes in kernel/arch/arm32/include/mm/frame.h [e49e234:4872160] in mainline

File:

• kernel/arch/arm32/include/mm/frame.h (modified) (1 diff)

kernel/arch/arm32/include/mm/frame.h

@@ -43 +43 @@
 #ifndef __ASM__
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 #define BOOT_PAGE_TABLE_SIZE     0x4000
-#define BOOT_PAGE_TABLE_ADDRESS  0x4000
+#define BOOT_PAGE_TABLE_ADDRESS  0x8000
 
 #define BOOT_PAGE_TABLE_START_FRAME     (BOOT_PAGE_TABLE_ADDRESS >> FRAME_WIDTH)