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 36link 37 realmode 38 devpccard 39 devi82365 40 ether2000 ether8390 41 ether2114x pci 42 ether589 etherelnk3 43 ether79c970 pci 44 ether8003 ether8390 45 ether8139 pci 46 ether8169 pci ethermii 47 ether82543gc pci 48 ether82563 pci 49 ether82557 pci 50 ether83815 pci 51 etherdp83820 pci 52 etherec2t ether8390 53 etherelnk3 pci 54 etherga620 pci 55 etherigbe pci ethermii 56 ethervgbe pci ethermii 57 ethervt6102 pci ethermii 58# etherm10g pci 59 ethersink 60 ethersmc devi82365 cis 61 etherwavelan wavelan devi82365 cis pci 62 ethermedium 63 netdevmedium 64 loopbackmedium 65 usbuhci 66 usbohci 67 68misc 69 archmp mp apic 70 71 uarti8250 72 uartpci pci 73 74 sdata pci sdscsi 75 sd53c8xx pci sdscsi 76 sdmylex pci sdscsi 77 sdiahci pci sdscsi 78 sdaoe 79 80 vga3dfx +cur 81 vgaark2000pv +cur 82 vgabt485 =cur 83 vgaclgd542x +cur 84 vgaclgd546x +cur 85 vgact65545 +cur 86 vgacyber938x +cur 87 vgaet4000 +cur 88 vgahiqvideo +cur 89 vgai81x +cur 90 vgamach64xx +cur 91 vgamga2164w +cur 92 vgamga4xx +cur 93 vganeomagic +cur 94 vganvidia +cur 95 vgargb524 =cur 96 vgas3 +cur vgasavage 97 vgat2r4 +cur 98 vgatvp3020 =cur 99 vgatvp3026 =cur 100 vgavesa 101 vgavmware +cur 102 103ip 104 tcp 105 udp 106 ipifc 107 icmp 108 icmp6 109 gre 110 ipmux 111 esp 112 rudp 113 114port 115 int cpuserver = 1; 116 117boot cpu boot #S/sdC0/ 118 tcp 119 local 120 121bootdir 122 bootpccpuf.out boot 123 /386/bin/ip/ipconfig 124 /386/bin/auth/factotum 125# /386/bin/disk/kfs 126 /386/bin/fossil/fossil 127 /386/bin/venti/venti 128