1# pcauth - pc kernel for our auth servers 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 27 sd 28 floppy dma 29 30 uart 31 32link 33 apm apmjump 34 ether82557 pci 35 ethervt6102 pci ethermii 36 ethermedium 37 netdevmedium 38 loopbackmedium 39 40misc 41 realmode 42 sdata pci sdscsi 43 44 uarti8250 45 uartpci 46 47 vgamach64xx +cur 48 vgas3 +cur vgasavage 49 50ip 51 tcp 52 udp 53 ipifc 54 icmp 55 icmp6 56 gre 57 ipmux 58 esp 59 60port 61 int cpuserver = 1; 62 63boot cpu boot #S/sdC0/ 64 tcp 65 local 66 67bootdir 68 bootpcauth.out boot 69 /386/bin/ip/ipconfig 70 /386/bin/auth/factotum 71 /386/bin/fossil/fossil 72 /386/bin/venti/venti 73# /386/bin/disk/kfs 74