HelenOS sources

BOOT_BASE          43 boot/arch/arm32/include/arch/arch.h #define BOOT_BASE	0x30008000
BOOT_BASE          45 boot/arch/arm32/include/arch/arch.h #define BOOT_BASE	0x80000000
BOOT_BASE          47 boot/arch/arm32/include/arch/arch.h #define BOOT_BASE       0x80000000
BOOT_BASE          49 boot/arch/arm32/include/arch/arch.h #define BOOT_BASE	0x00008000
BOOT_BASE          51 boot/arch/arm32/include/arch/arch.h #define BOOT_BASE	0x00000000