Peter Steinmetz <peter.steinmetz.1@gmx.net> wrote: > This kernel is running as a Dom0-kernel on Xen. Might that be the reason? Yes. PTI has been disabled on Xen. S° -- Sigmentation fault. Core dumped.