On Wed, 09 Mar, at 11:01:18PM, Alexis Murzeau wrote: > > Indeed I get the "Could not reserve range" message, and with a kernel > v4.3 the physical address 0x1 contains the value 1. > And this patch works and make a unmodified + this patch 4.4 debian > kernel boots, nice well found :) Great, thanks for testing.
> However, now a bad page state is reported in dmesg (which doesn't seem > to affect the kernel to me as a user but might hide something buggy) : > [ 0.030096] BUG: Bad page state in process swapper/0 pfn:00000 > [ 0.030100] page:ffffea0000000000 count:0 mapcount:1 mapping: > (null) index:0x0 > [ 0.030102] flags: 0x0() > > The efi_free_boot_services function seems to expect size == 0 to not > free non reserved memory according to commit 7d68dc3. > Not sure if this bad page state is related to this patch though, but I > don't get this with the 4.3 kernel. Yeah, it's definitely related to my quick and dirty patch. I'll have a think about how to fix it properly tomorrow morning.
