portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

rpi4: Fix memory layout for for aarch32

Browse source 
Reduce seL4_UserTop to make space for everything in the kernel's virtual
address space.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
This commit is contained in:
Nick Spinale 2024-01-23 09:22:31 +00:00 committed by Gerwin Klein
parent 1f77fb9c5a
commit 1955a9bda1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
libsel4/sel4_plat_include/bcm2711/sel4/plat/api/constants.h
View file

@ -12,7 +12,7 @@
#if CONFIG_WORD_SIZE == 32
/* First address in the virtual address space that is not accessible to user level */
#define seL4_UserTop 0xe0000000
#define seL4_UserTop 0xa0000000
#else
/* otherwise this is defined at the arch level */
#endif