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