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