ident		MACH
options		MACH_KERNEL
options		MACH_DEBUG
options		MACH_IPC_COMPAT
options		MACH_IPC_DEBUG
options		MACH_KDB
options		MACH_PAGEMAP
options		MACH_VM_DEBUG
options		POWER_SAVE
options		STAT_TIME
options		XPR_DEBUG
pseudo-device	cpus		1
conftype	"pc532"
platform	PC532
config		mach_kernel
makevariables	TEXTORG=18002000
options		MACH_LOAD
device		com0
device		com1
device		com2
device		com3
device		com4
device		com5
device		com6
device		com7
pseudo-device	scsi	2
pseudo-device	sdp	1
pseudo-device	aic	1
options		CMUCS_DISK
