HelenOS sources
bootstrap 93 boot/arch/arm32/include/arch/main.h extern void bootstrap(void);
bootstrap 41 boot/arch/arm64/include/arch/main.h extern efi_status_t bootstrap(void *efi_handle_in,
bootstrap 32 boot/arch/ia64/include/arch/main.h extern void bootstrap(void);
bootstrap 32 boot/arch/mips32/include/arch/main.h extern void bootstrap(int, char **);
bootstrap 44 boot/arch/ppc32/include/arch/main.h extern void bootstrap(void);
bootstrap 32 boot/arch/riscv64/include/arch/main.h extern void bootstrap(void);
bootstrap 45 boot/arch/sparc64/include/arch/main.h extern void bootstrap(void);
HelenOS homepage, sources at GitHub