Linux Kernel Configurations

My favorite distribution is Gentoo, for 7 years now. It allows me to have all the flexibility I need (the perfect world between stability with only legacy packages or recent ones on a constantly broken system; as in Gentoo, you always have choice) and it teaches me so many things each day.

As I’m used to control everything, here is a list of kernels’ configurations I use currently.

  • Dreamplug: latest public Grsecurity kernel 4.9 (before, I used precompiled kernels from Xilka);
  • Cubieboard 2: Linux 3.4 custom branch for Allwinner A20 (dual-core ARMv7 Cortex-A7 and Mali400 MP2) + upstream patches on 3.4 not merged in the Allwinner tree;
  • Odroid-C1: Linux 3.10 custom branch for the Amlogic S805 (quad-core ARMv7 Cortex-A5 and Mali450) + upstream patches on 3.10 not merged in the Hardkernel tree;
  • Mirabox: latest public Grsecurity kernel 4.9;
  • Cubox-i 4x4: latest mainline kernel, currently 4.16, running OpenGL applications through etnaviv driver;
  • Creator CI20: Linux 3.18 custom branch for the Ingenic JZ4780 SoC + upstream patches on 3.18 not merged in the imgtec tree;
  • ThinkPad X250: latest public Grsecurity patches on 4.9 kernel.
  • Orange Pi PC: latest mainline kernel, currently 4.17 on headless server.
kernel