In article <97bd8b44-7b65-f08e-f118-e5e34d750...@m00nbsd.net>, Maxime Villard <m...@m00nbsd.net> wrote: >Le 10/03/2019 à 11:58, Valery Ushakov a écrit : > >The PTE bits are standard and have the same meaning on all x86 CPUs.
Something must have been wrong on my side. I rebuilt and it worked. christos
