2018-04-17 10:14 GMT+02:00 Borislav Petkov <b...@alien8.de>: > On Tue, Apr 17, 2018 at 10:00:25AM +0200, Jörg Otte wrote: >> Maybe the problem came in with: >> 6b0a02e: "Merge branch 'x86-pti-for-linus' of >> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip" > > Fetch latest Linus master and try again - there might be a relevant fix > there. >
Current Linus master tree (4.17.0-rc1-00021-ga27fc14) does'nt fix it. Thanks, Jörg
