Searched refs:KERNEL_WINDOW (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/tools/arm_boot/ | ||
| H A D | arm_bootimage.c | 39 #define KERNEL_WINDOW 0x80000000 macro 1039 uint32_t kernel_offset= KERNEL_WINDOW - ram_start; |
Completed in 30 milliseconds