Evan Green 3feb1c49b4 Fixes to get x64 booting via UEFI. 7 vuotta sitten
..
efi 3feb1c49b4 Fixes to get x64 booting via UEFI. 7 vuotta sitten
pcat 6084b04a2f Change ## to // in assembly files. 7 vuotta sitten
Makefile f21530a539 Additional x64 support for complete build. 7 vuotta sitten
bootim.c 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 vuotta sitten
bootman.c 37a82cb425 Boot app changes to compile x64 32-bit boot manager. 7 vuotta sitten
bootman.h 0373dd7765 Add GPLv3 banner to all .c, .h, .S, and .ck files. 8 vuotta sitten
build.ck 3feb1c49b4 Fixes to get x64 booting via UEFI. 7 vuotta sitten
sources f21530a539 Additional x64 support for complete build. 7 vuotta sitten