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