seL4/include/arch
Kent McLeod 35fed131b0 ARMv6: Remove architecture support
Remove all support for ARMv6 architectures now that all platforms and
CPUs that use this architecture have been removed.

Signed-off-by: Kent McLeod <kent@kry10.com>
2021-09-30 18:07:19 +10:00
..
arm ARMv6: Remove architecture support 2021-09-30 18:07:19 +10:00
riscv/arch trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
x86/arch move type checks to mode/types.h 2021-09-28 09:20:01 +10:00