On Thu, Oct 04, 2018 at 01:00:42PM +0200, Paul Menzel wrote: > While here you write, it did not. Read again what I said: > and I did try marking the ISA range RO in mark_rodata_ro() but the > machine wouldn't boot after. and the code I pasted has this: // init_memory_mapping(0, ISA_END_ADDRESS); which is disabling the direct mapping of the ISA range. Two very different things. And you don't absolutely need to try it because it would simply move the warning to another address, just like it happened on my system. Because looking at your dmesg, that E350M1 machine is very similar to the laptop I have. But feel free if you have time on your hands... :) > Sorry I do not understand the question. I carry the SSD drive with > me, and connect it to the ASRock E350M1 (64-bit) or to the Lenovo > X60 laptop and boot from it from both systems. So it is an OS installation which you swap between two machines. I admit, it is the first time I hear of such a use case. In that case, yes, bitness does matter. -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply.