Mailing List Archive

Hardened Kernel for RasPi
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Greetings all;

I've been digging around trying to find a kernel to be used on my
Raspberry Pi Model B Rev 2 however I can't seem to find anything
particularly current (in terms of kernel at all, really) in the tree.

sys-kernel/raspberrypi-sources has only a single non-live ebuild and
no live ebuilds for the 4.X series of kernel, and I'm not sure if
sys-kernel/hardened-sources is suitable for use on the RasPi.

I did come across a fork [1] of the upstream Raspberry Pi kernel
sources by N8Fear with the grsecurity patch set applied, however that
seems a somewhat out of date.

So, in all, I'm wondering what sources (if any) people use on similar
hardware, particularly with respect to hardened.

Also as an aside, I'm thinking of moving from glibc to uclibc, so
interested to see whether an in-place migration is possible what
peoples experiences are with it.

1: https://github.com/N8Fear/linux

Cheers;
- --
wraeth <wraeth@wraeth.id.au>
GnuPG Key: B2D9F759
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iF4EAREIAAYFAlYKW5YACgkQXcRKerLZ91lfYAD8DSHe3jSSZ05f6t3NI9AeID85
dr7dl7NknjlGSPHHE/QA+wUJTA6FgthRc7BCFSKrLU7PTLFIH1CAfrdPbf1Me14b
=WKcT
-----END PGP SIGNATURE-----