seL4/include
Kent McLeod f5c60239c1 qemu-arm-virt: Add KernelUserTop option on aarch32
32-bit architectures have to share a small 4GiB address space between
privileged and non-privileged modes. Picking the address to split the
address space at affects how much virtual memory userlevel can use, and
how much physical memory the kernel can turn into untypeds. This is
something that should be configurable policy as different divisions make
sense for different applications.  For now we only add the config
option to qemu-arm-virt to try it out before potentially adding it to
all 32-bit platforms.

Signed-off-by: Kent McLeod <kent@kry10.com>
2021-10-28 08:29:29 +11:00
..
32/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
64/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
api prefer macro CURRENT_CPU_INDEX() 2021-08-17 18:19:37 +10:00
arch qemu-arm-virt: Add KernelUserTop option on aarch32 2021-10-28 08:29:29 +11:00
benchmark KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
drivers Remove KZM/imx31 platform 2021-09-30 18:07:19 +10:00
fastpath replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
kernel boot: remove ndks_boot.slot_pos_max 2021-09-02 08:44:24 +10:00
machine debug: restructure kernel console handling 2021-05-14 13:13:36 +10:00
model define macro SEL4_WORD_CONST() 2021-08-17 18:19:37 +10:00
object Trivial: Remove now incorrect comment 2021-09-10 20:48:04 +10:00
plat pc99: use ackInterrupt() 2021-10-01 15:18:51 +10:00
smp Repair barriers in clh_lock_acquire 2020-06-22 11:53:08 +10:00
api.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
assert.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
basic_types.h define macro SEL4_WORD_CONST() 2021-08-17 18:19:37 +10:00
bootinfo.h boot: use helper variable to simplify code 2021-09-06 09:22:04 +10:00
compound_types.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
config.h libsel4: Fix name for AARCH64_VSPACE_S2_START_L1 2021-09-06 08:08:54 +10:00
hardware.h boot: make linker definitions generic 2021-07-01 11:30:19 +10:00
linker.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
machine.h remove unnecessary brackets 2021-09-27 23:09:09 +10:00
object.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
stdarg.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
stdint.h support PRIu64 and SEL4_PRIu_word in kernel 2021-05-14 13:34:38 +10:00
string.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
types.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
util.h trivial: improve style for code and comments 2021-08-31 10:53:31 +10:00