diff options
author | Mark Kettenis <kettenis@cvs.openbsd.org> | 2022-10-16 15:03:40 +0000 |
---|---|---|
committer | Mark Kettenis <kettenis@cvs.openbsd.org> | 2022-10-16 15:03:40 +0000 |
commit | fe8731fb4a777bf1ea69767e96091545a8c93c4d (patch) | |
tree | 96d551099a22099ad5a12a3d8975df607153ca10 /sys/arch/amd64/conf/GENERIC | |
parent | 908b2cbfaf3689db0a0ad08cacd6eea6f7f3bb30 (diff) |
Add the guts for EFI runtime services support on amd64. This will be used
in the future to implement support for things like EFI variables.
ok krw@ (a few others ok'ed earlier incarnations of this diff)
Diffstat (limited to 'sys/arch/amd64/conf/GENERIC')
-rw-r--r-- | sys/arch/amd64/conf/GENERIC | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/arch/amd64/conf/GENERIC b/sys/arch/amd64/conf/GENERIC index a12efcee3b1..f16e570a692 100644 --- a/sys/arch/amd64/conf/GENERIC +++ b/sys/arch/amd64/conf/GENERIC @@ -1,4 +1,4 @@ -# $OpenBSD: GENERIC,v 1.512 2022/03/08 15:08:01 hastings Exp $ +# $OpenBSD: GENERIC,v 1.513 2022/10/16 15:03:39 kettenis Exp $ # # For further information on compiling OpenBSD kernels, see the config(8) # man page. @@ -86,6 +86,7 @@ ipmi0 at acpi? disable ccpmic* at iic? tipmic* at iic? +efi0 at bios0 mpbios0 at bios0 ipmi0 at mainbus? disable # IPMI |