kernel-3.10.0_libre.229.4.2.el7.x86_64-9.x86_64.rpm kernel-headers-3.10.0_libre.229.4.2.el7.x86_64-9.x86_64.rpm kernel-3.10.0_libre.229.4.2.el7.x86_64-9.src.rpm are now available at http://decentos.com/gnu-linux-libre/ Robert Musial, musial at gnu.org GPG key: 1F35B2B1