HelenOS sources

BOOT_PAGE_TABLE_ADDRESS   51 kernel/arch/arm32/include/arch/mm/frame.h #define BOOT_PAGE_TABLE_ADDRESS  0x30010000
BOOT_PAGE_TABLE_ADDRESS   56 kernel/arch/arm32/include/arch/mm/frame.h #define BOOT_PAGE_TABLE_ADDRESS  0x80008000
BOOT_PAGE_TABLE_ADDRESS   61 kernel/arch/arm32/include/arch/mm/frame.h #define BOOT_PAGE_TABLE_ADDRESS  0x80008000
BOOT_PAGE_TABLE_ADDRESS   66 kernel/arch/arm32/include/arch/mm/frame.h #define BOOT_PAGE_TABLE_ADDRESS  0x00010000
BOOT_PAGE_TABLE_ADDRESS   71 kernel/arch/arm32/include/arch/mm/frame.h #define BOOT_PAGE_TABLE_ADDRESS  0x00008000