seL4/src
Kent McLeod 04c7ec0010 boot,arm: Reserve a user image that's out of range
reserve_region() adds a region to a reserved list so that it doesn't get
turned into device untypeds. init_freemem() also takes a reserved region
list for regions that aren't supposed to be turned into regular untyped
or device untyped. If the ui_p_reg region is > PADDR_TOP then it is
outside of the region of memory that can be turned into regular untyped
and doesn't need to be added to this reserved list, but it still needs
to be added to the device untyped reserved list so that it doesn't show
up as device untyped. (It is already given to user level as frame
objects and so shouldn't also be reachable via different UT objects).

Signed-off-by: Kent McLeod <kent@kry10.com>
2021-10-03 10:10:43 +11:00
..
api remove Arch_finaliseInterrupt() 2021-10-01 15:18:51 +10:00
arch boot,arm: Reserve a user image that's out of range 2021-10-03 10:10:43 +11:00
benchmark KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
config Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
drivers Remove KZM/imx31 platform 2021-09-30 18:07:19 +10:00
fastpath ARMv6: Remove architecture support 2021-09-30 18:07:19 +10:00
kernel boot: improve error message 2021-09-27 23:09:09 +10:00
machine remove goto in printf_core() and return directly 2021-09-21 10:25:04 +10:00
model mcs: Remove refill_full check from checkBudget 2021-05-17 10:06:58 +10:00
object trivial: formatting, improve comments 2021-09-14 08:41:09 +10:00
plat qemu-arm-virt: set highmem=off for aarch32 2021-10-02 16:32:35 +10:00
smp riscv: Improve IPI code 2020-05-07 13:48:26 +10:00
assert.c Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
config.cmake define generic debug_capDL() function 2021-05-14 13:03:39 +10:00
inlines.c Enabled IPC debug features under new config 2020-04-06 14:21:46 +10:00
string.c Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
util.c riscv: fix CLZ and CTZ for riscv32 builds (#325) 2021-03-30 13:17:16 +11:00