In article <[email protected]>, Maxime Villard <[email protected]> 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
