jmcneill be34f078ca No need to re-print the countdown timer if the number of seconds hasn't changed.

2018-10-31 23:49:34 +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

Add PXE support.

2018-09-03 00:04:02 +00:00

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

Add PXE support.

2018-09-03 00:04:02 +00:00

devopen.c

Add PXE support.

2018-09-03 00:04:02 +00:00

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

MI efiboot: avoid LBA overflow in efi_block_find_partitions_disklabel()

2018-09-14 21:37:03 +00:00

efiblock.h

Pass a hash of the MBR and the booted partition to the kernel.

2018-08-27 09:51:32 +00:00

efiboot_machdep.h

Disable MMU and dcache before jumping to the kernel.

2018-09-07 17:30:32 +00:00

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

Add support for booting kernels from FFS partitions.

2018-08-26 21:28:18 +00:00

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

Add support for setting environment variables. Currently the following env

2018-09-09 17:55:22 +00:00

efifdt.c

When building /memory, skip EFI runtime memory ranges

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

efifdt.h

Add "dtb" command for loading a custom .dtb file.

2018-09-09 13:37:54 +00:00

efifile.c

Add support for booting kernels from FFS partitions.

2018-08-26 21:28:18 +00:00

efifile.h

…

efigetsecs.c

Add PXE support.

2018-09-03 00:04:02 +00:00

efinet.c

If the loader is loaded from the network, try to load the kernel from the

2018-09-04 21:29:54 +00:00

efinet.h

Add PXE support.

2018-09-03 00:04:02 +00:00

efipxe.c

Add PXE support.

2018-09-03 00:04:02 +00:00

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

No need to re-print the countdown timer if the number of seconds hasn't changed.

2018-10-31 23:49:34 +00:00

version

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

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