portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/configs
History
Curtis Millar f0e8f4cf0f trivial: Remove executable permission on MCS 
Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
2021-04-29 11:51:54 +10:00
..
ARM_HYP_verified.cmake Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
ARM_MCS_verified.cmake trivial: Remove executable permission on MCS 2021-04-29 11:51:54 +10:00
ARM_verified.cmake Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
RISCV64_MCS_verified.cmake Rename MAX_BUDGET to MAX_PERIOD 2021-04-29 11:51:54 +10:00
RISCV64_verified.cmake riscv: more efficient clz and ctz 2021-03-23 14:43:34 +11:00
seL4Config.cmake Don't assume timer precision is passed 2021-04-06 11:39:03 +10:00
X64_verified.cmake Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00