dev root xencons arch env pipe proc mnt srv dup # rtc ssl tls cap kprof evtchn ether netif ip arp chandial ip ipv6 ipaux iproute netlog nullmedium pktmedium ptclbsum386 inferno sd link ethermedium # netdevmedium # devxenblk loopbackmedium etherxenfrontend misc # archmp mp apic sdxen sdscsi ip tcp udp ipifc icmp icmp6 il port int cpuserver = 1; boot cpu boot #S/sd00/ local tcp il bootdir /386/bin/ip/ipconfig /386/bin/auth/factotum /386/bin/auth/wrkey /386/bin/disk/kfs bootxendisk.out boot dpart preinit