teuto.net Netzdienste GmbH

We are trying to boot core-os current as described in pixiecore Readme.md 'Using Pixiecore in static mode'. So you can be right that it is an issue with booting core-os...

[hw.txt](https://github.com/google/netboot/files/508424/hw.txt) [issue13.pcap.zip](https://github.com/google/netboot/files/508425/issue13.pcap.zip) For hardware information see `lshw -short` output in attached hw.txt.