portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/configs
History
Oliver Scott 6ad15c0f45 trivial: clean up code for C parser 
Remove unused cases and add break in switch statements.
Add conditions to sel4arch.xml.
Change guard in capdl printing to correct TK1_SMMU.
Set KernelArmSMMU default to off.
Add types to aarch32 syscall_stub_gen.py.

Signed-off-by: Oliver Scott <Oliver.Scott@data61.csiro.au>
2020-10-28 17:30:42 +11:00
..
ARM_HYP_verified.cmake Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
ARM_MCS_verified.cmake mcs: add MAX_BUDGET_US 2020-07-24 12:28:58 +10:00
ARM_verified.cmake Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
RISCV64_MCS_verified.cmake riscv: add config for MCS verification 2020-08-12 16:31:13 +10:00
RISCV64_verified.cmake riscv: change verified target to hifive 2020-03-19 16:08:10 +11:00
seL4Config.cmake trivial: clean up code for C parser 2020-10-28 17:30:42 +11:00
X64_verified.cmake Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00