This is what arch builds it's kernel against, look at PKGBUILD, it's almost in script form https://github.com/archlinuxarm/PKGBUILDs/blob/master/core/linux-raspberrypi/PKGBUILD Good to know. I actually tried to compile the repo by hand following the instructions, but it wouldn't boot for some reaso...