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 ethervt6105m pci ethermii 63 ethersink 64 ethersmc devi82365 cis 65 etherwavelan wavelan devi82365 cis pci 66 ethermedium 67 pcmciamodem 68 netdevmedium 69 loopbackmedium 70 usbuhci 71 usbohci 72 usbehci 73 74misc 75 archmp mp apic 76 77 sdata pci sdscsi 78 sd53c8xx pci sdscsi 79 sdmylex pci sdscsi 80 sdiahci pci sdscsi 81 82 uarti8250 83 uartpci pci 84 85 vga3dfx +cur 86 vgaark2000pv +cur 87 vgabt485 =cur 88 vgaclgd542x +cur 89 vgaclgd546x +cur 90 vgact65545 +cur 91 vgacyber938x +cur 92 vgaet4000 +cur 93 vgahiqvideo +cur 94 vgai81x +cur 95 vgamach64xx +cur 96 vgamga2164w +cur 97 vgamga4xx +cur 98 vganeomagic +cur 99 vganvidia +cur 100 vgargb524 =cur 101 vgas3 +cur vgasavage 102 vgat2r4 +cur 103 vgatvp3020 =cur 104 vgatvp3026 =cur 105 vgavesa 106 vgavmware +cur 107 108ip 109 tcp 110 udp 111 rudp 112 ipifc 113 icmp 114 icmp6 115 gre 116 ipmux 117 esp 118 119port 120 int cpuserver = 0; 121 122boot boot #S/sdC0/ 123 tcp 124 local 125 126bootdir 127 bootpcf.out boot 128 /386/bin/ip/ipconfig 129 /386/bin/auth/factotum 130 /386/bin/fossil/fossil 131 /386/bin/venti/venti 132 /386/bin/usb/usbd 133