The 'hardened' kernel he mentioned has recently (~40 hours) appeared in the Arch repos: https://www.archlinux.org/packages/community/x86_64/linux-hardened/ htt

The 'hardened' kernel he mentioned has recently (~40 hours) appeared in the Arch repos: https://www.archlinux.org/packages/community/x86_64/linux-hardened/ https://www.archlinux.org/packages/community/x86_64/linux-ha... Not a replacement but at least an alternative.