Current kernel status

Ren Nyo <[email protected]> Sat, 14 Apr 2018 00:33:55 +0000
Newsgroups gmane.linux.gentoo.hardened
Message-ID <CAOiYcAgVf05z_sQaMQ-QGuJpmZDDOrd1bGUSj=p=bRtnQVcsHg@mail.gmail.com>
--0000000000006b64c40569c42577
Content-Type: text/plain; charset="UTF-8"

I contacted minipli, and he said that unofficial grsecurity kernel is
frozen. So we should not wait for him to port KPTI and Meltdown.
Is hardened toolchain still supported by community?
I successfully compiled with gcc 7.3.0 v17.0 profile with virtualbox 5.2.8
and nvidia-drivers 390.42, but had to update pax patches for them. Where
should I share this patches?

--0000000000006b64c40569c42577
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"auto">I contacted minipli, and he said that unofficial grsecuri=
ty kernel is frozen. So we should not wait for him to port KPTI and Meltdow=
n.<div dir=3D"auto">Is hardened toolchain still supported by community?=C2=
=A0</div><div dir=3D"auto">I successfully compiled with gcc 7.3.0 v17.0 pro=
file with virtualbox 5.2.8 and nvidia-drivers 390.42, but had to update pax=
 patches for them. Where should I share this patches?</div></div>

--0000000000006b64c40569c42577--