Gentoo Archives: gentoo-embedded

From: wraeth <wraeth@×××××××××.au>
To: Gentoo Embedded <gentoo-embedded@l.g.o>
Subject: [gentoo-embedded] Hardened Kernel for RasPi
Date: Tue, 29 Sep 2015 09:36:32
Message-Id: 560A5B9B.1040404@wraeth.id.au
1 -----BEGIN PGP SIGNED MESSAGE-----
2 Hash: SHA256
3
4 Greetings all;
5
6 I've been digging around trying to find a kernel to be used on my
7 Raspberry Pi Model B Rev 2 however I can't seem to find anything
8 particularly current (in terms of kernel at all, really) in the tree.
9
10 sys-kernel/raspberrypi-sources has only a single non-live ebuild and
11 no live ebuilds for the 4.X series of kernel, and I'm not sure if
12 sys-kernel/hardened-sources is suitable for use on the RasPi.
13
14 I did come across a fork [1] of the upstream Raspberry Pi kernel
15 sources by N8Fear with the grsecurity patch set applied, however that
16 seems a somewhat out of date.
17
18 So, in all, I'm wondering what sources (if any) people use on similar
19 hardware, particularly with respect to hardened.
20
21 Also as an aside, I'm thinking of moving from glibc to uclibc, so
22 interested to see whether an in-place migration is possible what
23 peoples experiences are with it.
24
25 1: https://github.com/N8Fear/linux
26
27 Cheers;
28 - --
29 wraeth <wraeth@×××××××××.au>
30 GnuPG Key: B2D9F759
31 -----BEGIN PGP SIGNATURE-----
32 Version: GnuPG v2
33
34 iF4EAREIAAYFAlYKW5YACgkQXcRKerLZ91lfYAD8DSHe3jSSZ05f6t3NI9AeID85
35 dr7dl7NknjlGSPHHE/QA+wUJTA6FgthRc7BCFSKrLU7PTLFIH1CAfrdPbf1Me14b
36 =WKcT
37 -----END PGP SIGNATURE-----