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