1# pcf - pc terminal 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 cap 17 kprof 18 fs 19 20 ether netif 21 ip arp chandial ip ipv6 ipaux iproute netlog nullmedium pktmedium ptclbsum386 inferno 22 23 draw screen vga vgax 24 mouse mouse 25 vga 26 kbmap 27 kbin 28 29 sd 30 floppy dma 31 aoe 32 lpt 33 34 audio dma 35 pccard 36 i82365 cis 37 uart 38 usb 39 40link 41 realmode 42 devpccard 43 devi82365 44 apm apmjump 45 ether2000 ether8390 46 ether2114x pci 47 ether589 etherelnk3 48 ether79c970 pci 49 ether8003 ether8390 50 ether8139 pci 51 ether8169 pci ethermii 52# should be obsoleted by igbe 53# ether82543gc pci 54 ether82557 pci 55 ether82563 pci 56 ether83815 pci 57 etherdp83820 pci 58 etherec2t ether8390 59 etherelnk3 pci 60 etherga620 pci 61 etherigbe pci ethermii 62 ethervgbe pci ethermii 63 ethervt6102 pci ethermii 64 ethervt6105m pci ethermii 65 ethersink 66 ethersmc devi82365 cis 67 etherwavelan wavelan devi82365 cis pci 68 ethermedium 69 pcmciamodem 70 netdevmedium 71 loopbackmedium 72 usbuhci 73 usbohci 74 usbehci usbehcipc 75 76misc 77 archmp mp apic 78 mtrr 79 80 sdata pci sdscsi 81 sd53c8xx pci sdscsi 82 sdmylex pci sdscsi 83 sdiahci pci sdscsi 84 sdaoe 85 86 uarti8250 87 uartpci pci 88 89 vga3dfx +cur 90 vgaark2000pv +cur 91 vgabt485 =cur 92 vgaclgd542x +cur 93 vgaclgd546x +cur 94 vgact65545 +cur 95 vgacyber938x +cur 96 vgaet4000 +cur 97 vgahiqvideo +cur 98 vgai81x +cur 99 vgamach64xx +cur 100 vgamga2164w +cur 101 vgamga4xx +cur 102 vganeomagic +cur 103 vganvidia +cur 104 vgaradeon +cur 105 vgargb524 =cur 106 vgas3 +cur vgasavage 107 vgat2r4 +cur 108 vgatvp3020 =cur 109 vgatvp3026 =cur 110 vgavesa 111 vgavmware +cur 112 113ip 114 tcp 115 udp 116 rudp 117 ipifc 118 icmp 119 icmp6 120 gre 121 ipmux 122 esp 123 124port 125 int cpuserver = 0; 126 127boot boot #S/sdC0/ 128 tcp 129 local 130 131bootdir 132 bootpcf.out boot 133 /386/bin/ip/ipconfig 134 /386/bin/auth/factotum 135 /386/bin/fossil/fossil 136 /386/bin/venti/venti 137 /386/bin/usb/usbd 138