HelenOS sources

BOOT_STACK_SIZE    35 boot/arch/riscv64/include/arch/arch.h #define BOOT_STACK_SIZE  PAGE_SIZE
BOOT_STACK_SIZE    40 kernel/arch/amd64/include/arch/boot/boot.h #define BOOT_STACK_SIZE  0x000400
BOOT_STACK_SIZE    40 kernel/arch/ia32/include/arch/boot/boot.h #define BOOT_STACK_SIZE  0x0400