kernel: Import the IPMI driver from FreeBSD.
authorSascha Wildner <saw@online.de>
Sun, 14 Dec 2014 18:55:28 +0000 (19:55 +0100)
committerSascha Wildner <saw@online.de>
Sun, 14 Dec 2014 19:04:55 +0000 (20:04 +0100)
commit53a374c18f69009d375e6a59247b55bfe03f59e2
treea684c307a470b89f3a74f05c07a812a130bb2aa8
parent483e304bfce34514c6accb90824899258afc08cd
kernel: Import the IPMI driver from FreeBSD.

Many thanks to Markus Pfeiffer <profmakx@dragonflybsd.org> for testing,
bug hunting and fixing the watchdog (this will be pushed in a separate
commit).
22 files changed:
share/man/man4/Makefile
share/man/man4/ipmi.4 [new file with mode: 0644]
sys/conf/files
sys/config/LINT
sys/config/LINT64
sys/dev/misc/Makefile
sys/dev/misc/ipmi/Makefile [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi.c [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi_acpi.c [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi_isa.c [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi_kcs.c [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi_linux.c [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi_linux/Makefile [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi_pci.c [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi_smbios.c [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi_smbus.c [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi_smic.c [new file with mode: 0644]
sys/dev/misc/ipmi/ipmi_ssif.c [new file with mode: 0644]
sys/dev/misc/ipmi/ipmivars.h [new file with mode: 0644]
sys/platform/pc32/include/pc/bios.h
sys/platform/pc64/include/pc/bios.h
sys/sys/ipmi.h [new file with mode: 0644]