[2012-08-01 11:25:44 +0100] Jorge Almeida: > I'm trying to find out what is the Arch mainline kernel. This: https://projects.archlinux.org/svntogit/packages.git/tree/trunk?h=packages/linux -- Gaetan