On 21/06/14 13:00, Bernhard Übelacker wrote: > I think I found the issue: wimboot expects to be loaded to 0x1000 but > grub loads it to 0x9000. Thanks! I have pushed a modified patch which simplifies the GDT manipulation (and avoids undefined behaviour on some older Intel chips), and released it as version 1.0.6. Thanks again! Michael