On 01/08/2018 01:05 AM, Yves-Alexis Perez wrote:

On Mon, 2018-01-08 at 03:25 +0000, Ben Hutchings wrote:

...

This is with the full patch set applied (and a fix for NMI handling that wasn't in 3.16.53-rc1): https://www.decadent.org.uk/ben/tmp/linux-image-3.16.52_3.16.52-50_amd64.deb

I booted this. It crashes in *secondary* CPU startup when it sets CR4.PCIDE while still in 32-bit protected mode. That's illegal.

Plain 3.16 doesn't do this:

https://git.kernel.org/pub/scm/linux/kernel/git/daveh/x86-kaiser.git/tree/ar...

/* Enable PAE mode and PGE */ movl $(X86_CR4_PAE | X86_CR4_PGE), %ecx movq %rcx, %cr4

So I suspect the "Enable PAE and PGE" area is wrong.