3 * - By John Hodge (thePowersGang)
6 * - C/ASM Shared constants
8 #ifndef _ARMV7_OPTIONS_H_
9 #define _ARMV7_OPTIONS_H_
11 #define KERNEL_BASE 0x80000000
13 #if PLATFORM_is_raspberrypi
14 # define UART0_PADDR 0x7E215040 // Realview
16 # error Unknown platform
19 #define MM_KSTACK_SIZE 0x2000 // 2 Pages