diff options
author | Marco Peereboom <marco@cvs.openbsd.org> | 2005-10-19 01:41:46 +0000 |
---|---|---|
committer | Marco Peereboom <marco@cvs.openbsd.org> | 2005-10-19 01:41:46 +0000 |
commit | de4c857dc9ebc8a366b46b50fa95fb0b5198b7e9 (patch) | |
tree | 25a55a4aea1e873331fe5b5d48841f2b9df244b4 /sys/arch/amd64/conf | |
parent | b4d19756d3a16098a1170ceaf7eafcabc6d9f9b0 (diff) |
Add IPMI to amd64. Keep it disabled for now.
Prodded earlier today by deraadt@
ok krw@
Diffstat (limited to 'sys/arch/amd64/conf')
-rw-r--r-- | sys/arch/amd64/conf/GENERIC | 4 | ||||
-rw-r--r-- | sys/arch/amd64/conf/files.amd64 | 9 |
2 files changed, 11 insertions, 2 deletions
diff --git a/sys/arch/amd64/conf/GENERIC b/sys/arch/amd64/conf/GENERIC index af1f1cb0f9d..e586159cb08 100644 --- a/sys/arch/amd64/conf/GENERIC +++ b/sys/arch/amd64/conf/GENERIC @@ -1,4 +1,4 @@ -# $OpenBSD: GENERIC,v 1.82 2005/10/05 21:48:34 tdeval Exp $ +# $OpenBSD: GENERIC,v 1.83 2005/10/19 01:41:45 marco Exp $ # # For further information on compiling OpenBSD kernels, see the config(8) # man page. @@ -45,6 +45,8 @@ pci* at mainbus0 #acpitimer* at acpi? #hpet* at acpi? +#ipmi0 at mainbus? # IPMI + #option ACPIVERBOSE #option ACPI_ENABLE diff --git a/sys/arch/amd64/conf/files.amd64 b/sys/arch/amd64/conf/files.amd64 index 439b8b1843c..0f35ae048b3 100644 --- a/sys/arch/amd64/conf/files.amd64 +++ b/sys/arch/amd64/conf/files.amd64 @@ -1,4 +1,4 @@ -# $OpenBSD: files.amd64,v 1.14 2005/10/05 21:48:34 tdeval Exp $ +# $OpenBSD: files.amd64,v 1.15 2005/10/19 01:41:45 marco Exp $ maxpartitions 16 maxusers 2 16 128 @@ -169,6 +169,13 @@ include "../../../dev/acpi/files.acpi" file arch/amd64/amd64/acpi_machdep.c acpi # +# IPMI +# +device ipmi +attach ipmi at mainbus +file dev/ipmi.c ipmi needs-flag + +# # device major numbers # |