secgateway/kernel/linux-4.14.83/arch/alpha/boot
..
tools
Makefile
bootloader.lds
bootp.c
bootpz.c
head.S
main.c
misc.c
stdio.c