HelenOS sources

utask_t            56 boot/arch/arm64/include/arch/boot.h } utask_t;
utask_t            50 kernel/arch/arm32/include/arch/arch.h } utask_t;
utask_t            56 kernel/arch/arm64/include/arch/boot/boot.h } utask_t;
utask_t            45 kernel/arch/ia64/include/arch/bootinfo.h } utask_t;
utask_t            56 kernel/arch/mips32/include/arch/arch.h } utask_t;
utask_t            54 kernel/arch/ppc32/include/arch/boot/boot.h } utask_t;
utask_t            73 kernel/arch/riscv64/include/arch/boot/boot.h } utask_t;
utask_t            57 kernel/arch/sparc64/include/arch/boot/boot.h } utask_t;
HelenOS homepage, sources at GitHub