# tiny kernel used to install from floppy.
# has minimal vga drivers, no usb support and only some ether drivers,
# and in general no frills.  probably only useful in quite old systems.
dev
	root
	cons
	arch
	pnp		pci	bios32
	env
	pipe
	proc
	mnt
	srv
	dup
	rtc
#	ssl
#	tls
	cap
#	kprof

	ether		netif
	cec
	ip		arp chandial ip ipv6 ipaux iproute netlog nullmedium pktmedium ptclbsum386 inferno

	draw		screen vga vgax swcursor
	mouse		mouse
	vga
#	kbmap

	sd	sdalloc
	floppy		dma
#	lpt

	pccard
	i82365		cis
	uart
#	usb
#	kbin

link
	realmode
	devpccard
	devi82365
#	apm		apmjump
	ether2000	ether8390
	ether2114x	pci
	ether589	etherelnk3
	ether79c970	pci
	ether8003	ether8390
	ether8139	pci
	ether8169	pci ethermii
	ether82563	pci
	ether82557	pci
	ether83815	pci
#	etherdp83820	pci
	etherec2t	ether8390
	etherelnk3	pci
# has vast firmware
#	etherga620	pci
	etherigbe	pci ethermii
	ethervgbe	pci ethermii
	ethervt6102	pci ethermii
#	ethervt6105m	pci ethermii
	etheryuk		pci
#	ethersink
	ethersmc	devi82365 cis
	etherwavelan	wavelan devi82365 cis pci
	ethermedium
#	etherm10g
#	ether82598	pci
#	pcmciamodem
	netdevmedium
	loopbackmedium
#	usbuhci
#	usbohci
#	usbehci		usbehcipc
#	sse

misc
	alloc
	physalloc
	noswap
	xalloc

#	archmp	mp nomp mpacpi apic msi

	sdide		pci sdscsi
#	sd53c8xx	pci sdscsi
#	sdmylex		pci sdscsi
	sdiahci		pci sdscsi led
#	sdmv50xx	pci sdscsi
#	sdodin		pci sdscsi led

	uarti8250	uartp8250
#	uartpci		pci uartp8250

	vga3dfx		+cur
	vgaark2000pv	+cur
	vgabt485	=cur
	vgaclgd542x	+cur
	vgaclgd546x	+cur
	vgact65545	+cur
	vgacyber938x	+cur
	vgaet4000	+cur
	vgahiqvideo	+cur
	vgai81x		+cur
	vgamach64xx	+cur
	vgamga2164w	+cur
	vgamga4xx	+cur
	vganeomagic	+cur
	vganvidia	+cur
	vgargb524	=cur
	vgas3		+cur vgasavage
	vgat2r4		+cur
	vgatvp3020	=cur
	vgatvp3026	=cur
	vgavesa
	vgavmware	+cur

ip
	il
	tcp
	udp
	ipifc
	icmp
	icmp6

port
	int cpuserver = 0;

boot glenda boot #f/fd0disk
	local

bootdir
	bootpcflop.out boot
	/sys/lib/dist/bin/386/bzfs kfs
	/sys/lib/dist/pc/root.bz2 bzroot
#	/386/bin/usb/usbd