portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/configs
History
Kent McLeod 449855855d ARM11: Remove CPU support 
Remove support for ARM1136JF_S ARMv6 CPU as ARMv6 support is being
removed.

Signed-off-by: Kent McLeod <kent@kry10.com>
2021-09-30 18:07:19 +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 ARM11: Remove CPU support 2021-09-30 18:07:19 +10:00
X64_verified.cmake cmake: Add seL4Config.cmake include CMakeLists.txt 2021-08-19 09:24:31 +10:00