Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

kernel: set maximum user paddr in build system

Browse Source 
expose the maximum physical address that can be given to userspace
for use in hardware_gen.py
This commit is contained in:
Simon Shields
2019-09-05 16:35:35 +10:00
parent 75ee55a8fd
commit 28c1ff4b4b
4 changed files with 27 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
config.cmake
View File

@@ -173,7 +173,7 @@ if(DEFINED KernelDTSList AND (NOT "${KernelDTSList}" STREQUAL ""))
--compat-strings-out "${compatibility_outfile}" --c-header --header-out
"${device_dest}" --hardware-config "${config_file}" --hardware-schema
"${config_schema}" --yaml --yaml-out "${platform_yaml}" --arch "${KernelArch}"
--addrspace-bits "${KernelPaddrBits}"
--addrspace-max "${KernelPaddrUserTop}"
INPUT_FILE /dev/stdin
OUTPUT_FILE /dev/stdout
ERROR_FILE /dev/stderr