HelenOS sources

kernel.h   52 boot/arch/arm32/src/main.c #include <kernel.h>
kernel.h   46 boot/arch/arm64/src/main.c #include <kernel.h>
kernel.h   46 boot/arch/ia64/src/main.c #include <kernel.h>
kernel.h   42 boot/arch/mips32/src/main.c #include <kernel.h>
kernel.h   44 boot/arch/ppc32/src/main.c #include <kernel.h>
kernel.h   44 boot/arch/riscv64/src/main.c #include <kernel.h>
kernel.h   45 boot/arch/sparc64/src/main.c #include <kernel.h>
kernel.h   32 boot/generic/src/kernel.c #include <kernel.h>