Module Name:	src
Committed By:	briggs
Date:		Tue Jul  3 23:05:26 UTC 2007

Modified Files:
	src/sys/arch/amd64/amd64: bios32.c mainbus.c
	src/sys/arch/amd64/conf: GENERIC files.amd64
	src/sys/dev: DEVNAMES

Log Message:
Add (commented-out) support for IPMI on amd64--pretty much copied straight
from i386.


To generate a diff of this commit:
cvs rdiff -r1.5 -r1.6 src/sys/arch/amd64/amd64/bios32.c
cvs rdiff -r1.16 -r1.17 src/sys/arch/amd64/amd64/mainbus.c
cvs rdiff -r1.150 -r1.151 src/sys/arch/amd64/conf/GENERIC
cvs rdiff -r1.38 -r1.39 src/sys/arch/amd64/conf/files.amd64
cvs rdiff -r1.227 -r1.228 src/sys/dev/DEVNAMES

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.