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