portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/configs
History
Ben Leslie 5fb0a945bd Add 'x' bit to *verified.cmake 
The verified.cmake files are designed to be executable scripts.
Ensure all have the 'x' bit.

Signed-off-by: Ben Leslie <benno@brkawy.com>
2021-09-03 14:39:28 +10:00
..
ARM_HYP_verified.cmake cmake: Add seL4Config.cmake include CMakeLists.txt 2021-08-19 09:24:31 +10:00
ARM_MCS_verified.cmake Add 'x' bit to *verified.cmake 2021-09-03 14:39:28 +10:00
ARM_verified.cmake cmake: Add seL4Config.cmake include CMakeLists.txt 2021-08-19 09:24:31 +10:00
RISCV64_MCS_verified.cmake Add 'x' bit to *verified.cmake 2021-09-03 14:39:28 +10:00
RISCV64_verified.cmake Add 'x' bit to *verified.cmake 2021-09-03 14:39:28 +10:00
seL4Config.cmake cmake: Add seL4Config.cmake include CMakeLists.txt 2021-08-19 09:24:31 +10:00
X64_verified.cmake cmake: Add seL4Config.cmake include CMakeLists.txt 2021-08-19 09:24:31 +10:00