paul@194 | 1 | #ifndef __MEMORY_H__ |
paul@194 | 2 | #define __MEMORY_H__ |
paul@194 | 3 | |
paul@200 | 4 | /* Kernel mode addresses. */ |
paul@200 | 5 | |
paul@194 | 6 | #define STAGE2_INIT_STACK 0x80004000 |
paul@194 | 7 | #define STAGE2_EXCEPTION_STACK 0x80008000 |
paul@194 | 8 | |
paul@194 | 9 | #define STAGE2_PAGE_TABLE 0x81400000 |
paul@194 | 10 | #define STAGE2_PAGE_TABLE_TASK 0x00008000 |
paul@194 | 11 | |
paul@204 | 12 | /* User mode and physical addresses. */ |
paul@200 | 13 | |
paul@204 | 14 | #define TASK_GPIO_BASE 0x7fff0000 |
paul@204 | 15 | #define TASK_STACK_TOP 0x7fff0000 |
paul@204 | 16 | #define TASK_STACK_PHYSICAL 0x01c00000 |
paul@204 | 17 | #define TASK_STACK_SIZE 0x00002000 |
paul@200 | 18 | |
paul@200 | 19 | /* Common configuration. */ |
paul@200 | 20 | |
paul@194 | 21 | #define STAGE2_PAGESIZE (4 * 1024) |
paul@194 | 22 | |
paul@194 | 23 | #endif /* __MEMORY_H__ */ |