|
arch/uefi
|
Finalize removal of BIOS/GRUB artifacts.
|
2019-07-17 15:44:29 +01:00 |
|
efi
|
Add EFI documentation, libraries and includes.
|
2019-07-17 15:11:52 +01:00 |
|
kernel
|
Formatting and rebranding changes.
|
2019-07-17 15:12:48 +01:00 |
|
kernel.h
|
Formatting and rebranding changes.
|
2019-07-17 15:12:48 +01:00 |
