ref: d010b87b1814a3bf4df3f13d0c4131fbd885b270
dir: /sys/src/9/pc64/pccpu64/
# pcf - pc terminal with local disk dev root cons arch pnp pci env pipe proc mnt srv shr dup rtc ssl tls cap kprof fs ether netif ip arp chandial ip ipv6 ipaux iproute netlog ethermedium nullmedium pktmedium inferno draw screen vga vgax swcursor mouse mouse kbd vga sd # floppy dma aoe # lpt audio dma # pccard # i82365 cis uart usb link # devpccard # devi82365 # cputemp # ether2000 ether8390 # ether2114x pci # ether589 etherelnk3 ether79c970 pci # ether8003 ether8390 ether8139 pci # ether8169 pci ethermii # should be obsoleted by igbe # ether82543gc pci # ether82557 pci ether82563 pci # ether82598 pci # ether83815 pci etherbcm pci # etherdp83820 pci # etherec2t ether8390 # etherelnk3 pci # etherga620 pci etherigbe pci ethermii # ethervgbe pci ethermii # ethervt6102 pci ethermii # ethervt6105m pci ethermii # ethersink # ethersmc devi82365 cis # etheryuk pci # etherwavelan wavelan devi82365 cis pci etheriwl pci wifi # etherrt2860 pci wifi ethervirtio pci ethermedium # pcmciamodem netdevmedium loopbackmedium usbuhci # usbohci usbehci usbehcipc # audiosb16 dma # audioac97 audioac97mix audiohda misc archacpi mp apic squidboy ec archmp mp apic squidboy mtrr sdaoe sdide pci sdscsi # sd53c8xx pci sdscsi # sdmylex pci sdscsi sdiahci pci sdscsi led # sdodin pci sdscsi led sdvirtio pci sdscsi sdmmc pci pmmc sdloop uarti8250 # uartisa # uartpci pci # vga3dfx +cur # vgaark2000pv +cur # vgabt485 =cur # vgaclgd542x +cur # vgaclgd546x +cur # vgact65545 +cur # vgacyber938x +cur # vgaet4000 +cur # vgageode +cur # vgahiqvideo +cur # vgai81x +cur # vgamach64xx +cur # vgamga2164w +cur # vgamga4xx +cur # vganeomagic +cur # vganvidia +cur # vgaradeon +cur # vgargb524 =cur # vgas3 +cur vgasavage # vgat2r4 +cur # vgatvp3020 =cur # vgatvp3026 =cur vgavesa # vgavmware +cur ip tcp udp rudp ipifc icmp icmp6 gre ipmux esp il port int cpuserver = 1; bootdir /$objtype/bin/paqfs /$objtype/bin/auth/factotum bootfs.paq boot