# pccpu - cpu server kernel
dev
	root
	cons
	arch
	pnp		pci
	env
	pipe
	proc
	mnt
	srv
	dup
	rtc
	ssl
	tls
	bridge		log
	sdp		thwack unthwack
	cap
	kprof
	fs
	segment

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

	sd
	floppy		dma
	aoe

	audio		dma
	uart
	usb

	wd

link
	realmode

# 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
	ether82598	pci

	ethermedium
	netdevmedium
	loopbackmedium

	usbuhci
	usbohci
	usbehci		usbehcipc

	x86watchdog

misc
	archmp		mp apic mpacpi
	mtrr

	uarti8250
	uartpci		pci
	uartaxp		pci

	sdata		pci sdscsi
	sd53c8xx	pci sdscsi
	sdmv50xx	pci sdscsi
	sdmylex		pci sdscsi
	sdiahci		pci sdscsi
	sdaoe		sdscsi

ip
	tcp
	udp
	rudp
	ipifc
	icmp
	icmp6
	gre
	ipmux
	esp

port
	int cpuserver = 1;
	int idle_if_nproc = 5;

boot cpu
	tcp

bootdir
	boot$CONF.out boot
	/386/bin/ip/ipconfig
	/386/bin/auth/factotum
	/386/bin/usb/usbd