.. |
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
|
aa07895834
Fix to build bootman for x64 with the ninja build
|
6 anos atrás |
sources
|
f21530a539
Additional x64 support for complete build.
|
7 anos atrás |