# boot - 9pxeload (not 9load) as a variant of 9pccpu.#	compressed text + data segments must fit in 1st 512K; currently 393K.dev	root	cons	arch	rtc 	ether		netif	ip		arp chandial ip ipaux ipv6 iproute netlog nullmedium pktmedium ptclbsum386 inferno 	uart link# order of ethernet drivers should match that in ../pc/pc so that# devices are detected in the same order by bootstraps and kernels# and thus given the same controller numbers.	ether2000	ether8390	ether2114x	pci	ether589	etherelnk3	ether79c970	pci	ether8003	ether8390	ether8139	pci	ether8169	pci ethermii	ether82543gc	pci	ether82557	pci	ether82563	pci	ether83815	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	etherwavelan	wavelan devi82365 cis pci	etherm10g	ether82598	pci 	ethermedium misc	bootld	conf	dir	nomtrr	no-inflate	pxeload	rand	stub	uarti8250 ip	udp# would need tcp to read via 9p	ipifc	icmp	icmp6 port	int cpuserver = 1;	char hellomsg[] = "\nPlan 9 from Bell Labs PXE boot loader";