On Tue, Sep 13, 2016 at 11:43:08PM +0000, ron minnich wrote:
I've been trying to find a problem in linux that makes it not boot when used as the payload in the KGPE-D16. The symptom is that I get no output at all on serial when linux starts.
That sounds related to the decompression problem that I encountered:
https://www.coreboot.org/pipermail/coreboot/2016-August/081891.html
Luckily I was able to reproduce it in qemu, but not fix it other than patching the Linux x86/boot code.