1 # Copyright 1999-2017 Gentoo Foundation
2 # Distributed under the terms of the GNU General Public License v2
8 HOMEPAGE="https://dev.gentoo.org/~mpagano/genpatches"
9 DESCRIPTION="Gentoo CDN Kernel"
12 SRC_URI="https://pkg.cyberleo.net/distfiles/linux-4.12.12-gentoo-cdn-r1.txz"
18 DEPEND="=sys-kernel/gentoo-sources-4.12.12"
22 mv "${WORKDIR}/image" "${S}"
28 if ! use firmware; then
29 rm -r "${S}/lib/firmware"
32 xz -9e "${S}/lib/kernel/"{config,System.map}-*