pcf 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144
  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. # order of ethernet drivers should match that in ../pcboot/boot so that
  41. # devices are detected in the same order by bootstraps and kernels
  42. # and thus given the same controller numbers.
  43. ether2000 ether8390
  44. ether2114x pci
  45. ether589 etherelnk3
  46. ether79c970 pci
  47. ether8003 ether8390
  48. ether8139 pci
  49. ether8169 pci ethermii
  50. ether82543gc pci
  51. ether82557 pci
  52. ether82563 pci
  53. ether83815 pci
  54. etherdp83820 pci
  55. etherec2t ether8390
  56. etherelnk3 pci
  57. etherga620 pci
  58. etherigbe pci ethermii
  59. ethervgbe pci ethermii
  60. ethervt6102 pci ethermii
  61. ethervt6105m 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. usbohci
  71. usbehci usbehcipc
  72. misc
  73. archmp mp apic mpacpi
  74. mtrr
  75. sdata pci sdscsi
  76. sd53c8xx pci sdscsi
  77. sdmylex pci sdscsi
  78. sdiahci pci sdscsi
  79. sdaoe
  80. uarti8250
  81. uartpci pci
  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. vgaradeon +cur
  98. vgargb524 =cur
  99. vgas3 +cur vgasavage
  100. vgat2r4 +cur
  101. vgatvp3020 =cur
  102. vgatvp3026 =cur
  103. vgavesa
  104. vgavmware +cur
  105. ip
  106. tcp
  107. udp
  108. rudp
  109. ipifc
  110. icmp
  111. icmp6
  112. gre
  113. ipmux
  114. esp
  115. port
  116. int cpuserver = 0;
  117. boot boot #S/sdC0/
  118. tcp
  119. local
  120. bootdir
  121. boot$CONF.out boot
  122. /386/bin/ip/ipconfig
  123. /386/bin/auth/factotum
  124. /386/bin/fossil/fossil
  125. /386/bin/venti/venti
  126. /386/bin/usb/usbd
  127. # needed to boot from a usb key and use its fossil
  128. /386/bin/disk/partfs