#
# MINI -- A kernel to get FreeBSD on onto a disk.
#
#	$Id: MINI,v 1.4 1994/10/20 00:19:37 phk Exp $
#

machine		"i386"
cpu		"I386_CPU"
cpu		"I486_CPU"
cpu		"I586_CPU"
ident		MINI
maxusers	1

options		MATH_EMULATE		#Support for x87 emulation
options		FFS			#Berkeley Fast File System
options		"FAT_CURSOR"		#block cursor in syscons or pccons
options		"SCSI_DELAY=15"		#Be pessimistic about Joe SCSI device
options		"NCONS=1"		#1 virtual consoles
options		BOUNCE_BUFFERS		#include support for DMA bounce buffers

config		kernel	root on wd0 swap on wd0 and wd1 and sd0 and sd1 dumps on wd0

controller	isa0
controller	pci0

controller	fdc0	at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
disk		fd0	at fdc0 drive 0
disk		fd1	at fdc0 drive 1

controller	wdc0	at isa? port "IO_WD1" bio irq 14 vector wdintr
disk		wd0	at wdc0 drive 0
disk		wd1	at wdc0 drive 1

controller	wdc1	at isa? port "IO_WD2" bio irq 15 vector wdintr
disk		wd2	at wdc1 drive 0
disk		wd3	at wdc1 drive 1

controller	ncr0

controller	bt0	at isa? port "IO_BT0" bio irq ? vector btintr
controller	ahb0	at isa? bio irq ? vector ahbintr
controller	aha0	at isa? port "IO_AHA0" bio irq ? drq 5 vector ahaintr
controller	uha0	at isa? port "IO_UHA0" bio irq ? drq 5 vector uhaintr
controller	aic0    at isa? port 0x340 bio irq 11 vector aicintr

controller	scbus0

device		sd0
device		sd1
device		sd2
device		sd3

device		sc0	at isa? port "IO_KBD" tty irq 1 vector scintr
device		npx0	at isa? port "IO_NPX" irq 13 vector npxintr

#pseudo-device	gzip		# Exec gzipped a.out's