pcf 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137
  1. # pcf - pc terminal with fossil root and maybe venti block store
  2. dev
  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. ether netif
  20. ip arp chandial ip ipv6 ipaux iproute netlog nullmedium pktmedium ptclbsum386 inferno
  21. draw screen vga vgax
  22. mouse mouse
  23. vga
  24. kbmap
  25. kbin
  26. sd
  27. floppy dma
  28. aoe
  29. lpt
  30. audio dma
  31. pccard
  32. i82365 cis
  33. uart
  34. usb
  35. link
  36. realmode
  37. devpccard
  38. devi82365
  39. apm apmjump
  40. ether2000 ether8390
  41. ether2114x pci
  42. ether589 etherelnk3
  43. ether79c970 pci
  44. ether8003 ether8390
  45. ether8139 pci
  46. ether8169 pci ethermii
  47. # should be obsoleted by igbe
  48. # ether82543gc pci
  49. ether82557 pci
  50. ether82563 pci
  51. ether83815 pci
  52. etherdp83820 pci
  53. etherec2t ether8390
  54. etherelnk3 pci
  55. etherga620 pci
  56. etherigbe pci ethermii
  57. ethervgbe pci ethermii
  58. ethervt6102 pci ethermii
  59. ethervt6105m pci ethermii
  60. ethersink
  61. ethersmc devi82365 cis
  62. etherwavelan wavelan devi82365 cis pci
  63. ethermedium
  64. pcmciamodem
  65. netdevmedium
  66. loopbackmedium
  67. usbuhci
  68. usbohci
  69. usbehci usbehcipc
  70. misc
  71. archmp mp apic
  72. mtrr
  73. sdata pci sdscsi
  74. sd53c8xx pci sdscsi
  75. sdmylex pci sdscsi
  76. sdiahci pci sdscsi
  77. sdaoe
  78. uarti8250
  79. uartpci pci
  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. vgaradeon +cur
  96. vgargb524 =cur
  97. vgas3 +cur vgasavage
  98. vgat2r4 +cur
  99. vgatvp3020 =cur
  100. vgatvp3026 =cur
  101. vgavesa
  102. vgavmware +cur
  103. ip
  104. tcp
  105. udp
  106. rudp
  107. ipifc
  108. icmp
  109. icmp6
  110. gre
  111. ipmux
  112. esp
  113. port
  114. int cpuserver = 0;
  115. boot boot #S/sdC0/
  116. tcp
  117. local
  118. bootdir
  119. bootpcf.out boot
  120. /386/bin/ip/ipconfig
  121. /386/bin/auth/factotum
  122. /386/bin/fossil/fossil
  123. /386/bin/venti/venti
  124. /386/bin/usb/usbd