pcf 1.6 KB

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