On Fri, Jan 6, 2017 at 7:36 PM, Simon Gomizelj via arch-general < arch-general@xxxxxxxxxxxxx> wrote: > Check out https://wiki.archlinux.org/index.php/unofficial_user_reposit > ories > > You may find a repository for the kernel you're looking for. Just be > wary its obviously unofficial and thus unsupported. > It seems that the repo at http://arch.miffe.org/x86_64/ contains the linux-mainline package which looks up to date. -- mike c