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	trivial: clean up code for C parser	2020-10-28 17:30:42 +11:00
riscv	libsel4: fix license tags	2020-09-04 20:30:01 +08:00
x86	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00