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 46# order of ethernet drivers should match that in ../pcboot/boot so that 47# devices are detected in the same order by bootstraps and kernels 48# and thus given the same controller numbers. 49 ether2000 ether8390 50 ether2114x pci 51 ether589 etherelnk3 52 ether79c970 pci 53 ether8003 ether8390 54 ether8139 pci 55 ether8169 pci ethermii 56 ether82543gc pci 57 ether82557 pci 58 ether82563 pci 59 ether83815 pci 60 etherdp83820 pci 61 etherec2t ether8390 62 etherelnk3 pci 63 etherga620 pci 64 etherigbe pci ethermii 65 ethervgbe pci ethermii 66 ethervt6102 pci ethermii 67 ethervt6105m pci ethermii 68 ethersink 69 ethersmc devi82365 cis 70 etherwavelan wavelan devi82365 cis pci 71 ethervirtio pci 72 ethervirtio10 pci 73 etheriwl pci wifi 74 etherwpi pci wifi 75 etherrt2860 pci wifi 76 77 ethermedium 78 pcmciamodem 79 netdevmedium 80 loopbackmedium 81 82 usbuhci 83 usbohci 84 usbehci usbehcipc 85 86misc 87 archmp mp apic mpacpi 88 mtrr 89 90 sdata pci sdscsi 91 sd53c8xx pci sdscsi 92 sdmylex pci sdscsi 93 sdiahci pci sdscsi 94 sdaoe 95 sdvirtio pci sdscsi 96 sdvirtio10 pci sdscsi 97 98 uarti8250 99 uartpci pci 100 101 vga3dfx +cur 102 vgaark2000pv +cur 103 vgabt485 =cur 104 vgaclgd542x +cur 105 vgaclgd546x +cur 106 vgact65545 +cur 107 vgacyber938x +cur 108 vgaet4000 +cur 109 vgahiqvideo +cur 110 vgai81x +cur 111 vgamach64xx +cur 112 vgamga2164w +cur 113 vgamga4xx +cur 114 vganeomagic +cur 115 vganvidia +cur 116 vgaradeon +cur 117 vgargb524 =cur 118 vgas3 +cur vgasavage 119 vgat2r4 +cur 120 vgatvp3020 =cur 121 vgatvp3026 =cur 122 vgavesa 123 vgavmware +cur 124 125ip 126 tcp 127 udp 128 rudp 129 ipifc 130 icmp 131 icmp6 132 gre 133 ipmux 134 esp 135 136port 137 int cpuserver = 0; 138 139boot boot #S/sdC0/ 140 tcp 141 local 142 143bootdir 144 boot$CONF.out boot 145 /386/bin/ip/ipconfig 146 /386/bin/auth/factotum 147 /386/bin/fossil/fossil 148 /386/bin/venti/venti 149 /386/bin/usb/usbd 150# needed to boot from a usb key and use its fossil 151 /386/bin/disk/partfs 152