| #
9593dc34 |
| 04-Sep-2024 |
mglocker <mglocker@openbsd.org> |
Fix some spelling.
Input and ok jmc@, jsg@
|
| #
8584df4e |
| 02-Jan-2023 |
kettenis <kettenis@openbsd.org> |
Let the EFI bootloader make a copy of the EFI System Resource Table (ESRT)
and pass it to the kernel.
ok jca@, patrick@
|
| #
4befd8f0 |
| 07-Dec-2022 |
patrick <patrick@openbsd.org> |
The ACPI tables on the Lenovo x13s are incomplete and unusable. For
that reason, identify that we're running on that machine by looking at
the SMBIOS tables and load alternate device tree binaries f
The ACPI tables on the Lenovo x13s are incomplete and unusable. For
that reason, identify that we're running on that machine by looking at
the SMBIOS tables and load alternate device tree binaries from disk.
ok kettenis@
show more ...
|
| #
aa2a8ca5 |
| 20-Jan-2017 |
jsg <jsg@openbsd.org> |
Fix (currently unused) GUID definitions to match the EFI_GUID struct.
|
| #
060fee10 |
| 11-May-2016 |
kettenis <kettenis@openbsd.org> |
Move EFI header files to a location where they can be used on other
architectures besides amd64.
ok deraadt@, krw@
|