# pc - a normal pc terminal
dev
	root
	cons

	arch
	pnp		pci
	env
	pipe
	proc
	mnt
	srv
	dup
	rtc
	ssl
	tls
	cap
	kprof
	fs

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

	draw		screen vga vgax
	mouse		mouse
	vga
	kbmap
	kbin

	sd
	floppy		dma
	lpt

	audio		dma
	pccard
	i82365		cis
	uart
	usb

	wd

link
	realmode
	devpccard
	devi82365

# order of ethernet drivers should match that in ../pcboot/boot so that
# devices are detected in the same order by bootstraps and kernels
# and thus given the same controller numbers.
	ether2000	ether8390
	ether2114x	pci
	ether589	etherelnk3
	ether79c970	pci
	ether8003	ether8390
	ether8139	pci
	ether8169	pci ethermii
	ether82543gc	pci
	ether82557	pci
	ether82563	pci
	ether83815	pci
	etherdp83820	pci
	etherec2t	ether8390
	etherelnk3	pci
	etherga620	pci
	etherigbe	pci ethermii
	ethervgbe	pci ethermii
	ethervt6102	pci ethermii
	ethervt6105m	pci ethermii
	ethersink
	ethersmc	devi82365 cis
	etherwavelan	wavelan devi82365 cis pci
#	etherm10g	pci ethermii		# vast firmware
#	ether82598	pci

	ethermedium
	pcmciamodem
	netdevmedium
	loopbackmedium

	usbuhci
	usbohci
	usbehci		usbehcipc

	x86watchdog

misc
	archmp		mp apic mpacpi
	mtrr

	sdata		pci sdscsi
	sd53c8xx	pci sdscsi
	sdmylex		pci sdscsi
	sdiahci		pci sdscsi

	uarti8250
	uartpci		pci
	uartisa

	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
	vgaradeon	+cur
	vgargb524	=cur
	vgas3		+cur vgasavage
	vgat2r4		+cur
	vgatvp3020	=cur
	vgatvp3026	=cur
	vgavesa
	vgavmware	+cur

ip
	tcp
	udp
	rudp
	ipifc
	icmp
	icmp6
	gre
	ipmux
	esp

port
	int cpuserver = 0;

boot
	tcp

bootdir
	boot$CONF.out boot
	/386/bin/ip/ipconfig
	/386/bin/auth/factotum
	/386/bin/usb/usbd
# needed to boot from a usb key and use its fossil
	/386/bin/disk/partfs