seL4/include/arch/arm/armv
julia 5de930983b arm,riscv: eliminate idle_thread function prologue
Similar to #510 but for all other platforms. The idle_thread runs
without a stack and so cannot handle the stack prologue. This should
hopefully make the kernel rely less on FORCE_INLINE for this as well.

We create idle.S assembly files for each platform, as GCC does not
support `__attribute__((naked))` on AArch64 (GCC 13.2.0) and bails out.

Signed-off-by: julia <git.ts@trainwit.ch>
2025-08-19 09:06:24 +01:00
..
armv7-a/armv arm,riscv: eliminate idle_thread function prologue 2025-08-19 09:06:24 +01:00
armv8-a arm,riscv: eliminate idle_thread function prologue 2025-08-19 09:06:24 +01:00
armv7ve Add a CMake based build system 2017-08-22 13:56:26 +10:00