On 12/30/2017 04:49 AM, Josh Poimboeuf wrote:
Alexander, would you mind reproducing again with the below patch? It should still fail, but this time it should hopefully show another RIP/RSP/EFLAGS instead of the "do_double_fault+0xb/0x140" line.
I applied that too on top of v4.15-rc5-114-g2758b3e3e630 (no other patches or changes to cflags or so), make c clean, then build and booted the kernel, still stucks, the result is in [1]
[1] https://zwiebeltoralf.de/pub/IMG_20171230_102325.jpg