HelenOS sources

TEMP_STACK_SIZE    40 kernel/arch/arm32/include/arch/asm/boot.h #define TEMP_STACK_SIZE  0x100
TEMP_STACK_SIZE    39 kernel/arch/mips32/include/arch/asm/boot.h #define TEMP_STACK_SIZE  0x100
TEMP_STACK_SIZE    45 kernel/arch/riscv64/include/arch/boot/boot.h #define TEMP_STACK_SIZE  0x1000
HelenOS homepage, sources at GitHub