1# pccpuf - pc cpu server with fossil root and maybe venti block store 2dev 3 root 4 cons 5 arch 6 pnp pci 7 env 8 pipe 9 proc 10 mnt 11 srv 12 dup 13 rtc 14 ssl 15 tls 16 bridge log 17 sdp thwack unthwack 18 cap 19 kprof 20 fs 21 22 ether netif 23 ip arp chandial ip ipv6 ipaux iproute netlog nullmedium pktmedium ptclbsum386 inferno 24 25 draw screen vga vgax 26 mouse mouse 27 vga 28 29 sd 30 floppy dma 31 aoe 32 33 uart 34 usb 35 kbin 36 37link 38 realmode 39 devpccard 40 devi82365 41 ether2000 ether8390 42 ether2114x pci 43 ether589 etherelnk3 44 ether79c970 pci 45 ether8003 ether8390 46 ether8139 pci 47 ether8169 pci ethermii 48 ether82543gc pci 49 ether82563 pci 50 ether82557 pci 51 ether83815 pci 52 etherdp83820 pci 53 etherec2t ether8390 54 etherelnk3 pci 55 etherga620 pci 56 etherigbe pci ethermii 57 ethervgbe pci ethermii 58 ethervt6102 pci ethermii 59 ethervt6105m pci ethermii 60# etherm10g pci 61 ethersink 62 ethersmc devi82365 cis 63 etherwavelan wavelan devi82365 cis pci 64 ethermedium 65 netdevmedium 66 loopbackmedium 67 usbuhci 68 usbohci 69 usbehci 70 71misc 72 archmp mp apic 73 mtrr 74 75 uarti8250 76 uartpci pci 77 78 sdata pci sdscsi 79 sd53c8xx pci sdscsi 80 sdmylex pci sdscsi 81 sdiahci pci sdscsi 82 sdaoe 83 84 vga3dfx +cur 85 vgaark2000pv +cur 86 vgabt485 =cur 87 vgaclgd542x +cur 88 vgaclgd546x +cur 89 vgact65545 +cur 90 vgacyber938x +cur 91 vgaet4000 +cur 92 vgahiqvideo +cur 93 vgai81x +cur 94 vgamach64xx +cur 95 vgamga2164w +cur 96 vgamga4xx +cur 97 vganeomagic +cur 98 vganvidia +cur 99 vgargb524 =cur 100 vgas3 +cur vgasavage 101 vgat2r4 +cur 102 vgatvp3020 =cur 103 vgatvp3026 =cur 104 vgavesa 105 vgavmware +cur 106 107ip 108 tcp 109 udp 110 ipifc 111 icmp 112 icmp6 113 gre 114 ipmux 115 esp 116 rudp 117 118port 119 int cpuserver = 1; 120 121boot cpu boot #S/sdC0/ 122 tcp 123 local 124 125bootdir 126 bootpccpuf.out boot 127 /386/bin/ip/ipconfig 128 /386/bin/auth/factotum 129# /386/bin/disk/kfs 130 /386/bin/fossil/fossil 131 /386/bin/venti/venti 132 /386/bin/usb/usbd 133