jmcneill 1cd5b4302b Assign VAs for EFI runtime mmio ranges

2018-10-31 13:00:35 +00:00

..

bootaa64

Make EFI runtime services available to the kernel. Bump version to 1.5.

2018-10-28 10:17:47 +00:00

boot.c

avoid sign/unsigned issue and for NUMNAMES to an integer when it is

2018-10-29 05:15:21 +00:00

conf.c

…

console.c

Some U-Boot implementations (notably U-Boot) do not implement WaitForKey. Do the same as FreeBSD EFI loader here (I wrote the original patch there as well).

2018-09-15 16:44:15 +00:00

dev_net.c

…

devopen.c

…

devopen.h

…

efiacpi.c

Make EFI runtime services available to the kernel. Bump version to 1.5.

2018-10-28 10:17:47 +00:00

efiacpi.h

Add ACPI support (enable with -DEFIBOOT_ACPI, currently disabled).

2018-10-12 22:08:04 +00:00

efiblock.c

…

efiblock.h

…

efiboot_machdep.h

…

efiboot.c

Assign VAs for EFI runtime mmio ranges

2018-10-31 13:00:35 +00:00

efiboot.h

add "boot-file" support. now one can automatically boot a

2018-10-26 20:56:35 +00:00

efichar.c

…

efidev.c

…

efienv.c

utf8_to_ucs2 second param (nmp) needs to be initialized before calling this function

2018-09-18 19:19:45 +00:00

efienv.h

…

efifdt.c

When building /memory, skip EFI runtime memory ranges

2018-10-31 12:59:43 +00:00

efifdt.h

…

efifile.c

…

efifile.h

…

efigetsecs.c

…

efinet.c

…

efinet.h

…

efipxe.c

…

exec.c

Make EFI runtime services available to the kernel. Bump version to 1.5.

2018-10-28 10:17:47 +00:00

Makefile.efiboot

Add ACPI support (enable with -DEFIBOOT_ACPI, currently disabled).

2018-10-12 22:08:04 +00:00

panic.c

…

prompt.c

Only need to ischar() once when polling for input

2018-09-15 16:41:37 +00:00

version

Make EFI runtime services available to the kernel. Bump version to 1.5.

2018-10-28 10:17:47 +00:00