HelenOS sources

boot/arch/arm64/include/arch/boot.h
kernel/arch/amd64/include/arch/boot/boot.h
kernel/arch/arm32/include/arch/asm/boot.h
kernel/arch/arm64/include/arch/boot/boot.h
kernel/arch/ia32/include/arch/boot/boot.h
kernel/arch/mips32/include/arch/asm/boot.h
kernel/arch/ppc32/include/arch/boot/boot.h
kernel/arch/riscv64/include/arch/boot/boot.h
kernel/arch/sparc64/include/arch/boot/boot.h