On Thu, Oct 04, 2018 at 10:14:38AM +0200, Borislav Petkov wrote: > So looking at this, BIOS_BEGIN and BIOS_END is the same range as the ISA > range: > > #define ISA_START_ADDRESS 0x000a0000 > #define ISA_END_ADDRESS 0x00100000 > > #define BIOS_BEGIN 0x000a0000 > #define BIOS_END 0x00100000 > > > and I did try marking the ISA range RO in mark_rodata_ro() but the > machine wouldn't boot after. So I'm guessing BIOS needs to write there > some crap. Yeah, that's what I also found out back then, the region needs to be WX. So we can either leave with the warning, as we know it is harmless and where it comes from or implement an exception in the checking code for that region. Regards, Joerg
