| 
# pcf - pc terminal with fossil root and maybe venti block store
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
	aoe
	lpt
	audio		dma
	pccard
	i82365		cis
	uart
	usb
link
	realmode
	devpccard
	devi82365
	apm		apmjump
	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
	ethermedium
	pcmciamodem
	netdevmedium
	loopbackmedium
	usbuhci
	usbohci
	usbehci
misc
	archmp		mp apic
	mtrr
	sdata		pci sdscsi
	sd53c8xx	pci sdscsi
	sdmylex		pci sdscsi
	sdiahci		pci sdscsi
	sdaoe
	uarti8250
	uartpci		pci
	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 boot #S/sdC0/
	tcp
	local
bootdir
	bootpcf.out boot
	/386/bin/ip/ipconfig
	/386/bin/auth/factotum
	/386/bin/fossil/fossil
	/386/bin/venti/venti
	/386/bin/usb/usbd
 |