OK, brilliant, thanks for the swift reply. I didn’t see that written down anywhere!
Pete
> How can I build 9pxeload?
9pxeload has been replaced by 9boot since the new boot loader
replaced the old one in the distribution in May 2012.
--
David du Colombier