Libre Mainline Kernel and Debian for arm laptops
Messy configuration repository / Gentoo / Coreboot / XMonad / Ergodox / ...