# Copyright 1999-2020 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2

EAPI="6"

DESCRIPTION="stepping stone GmbH binary vm kernel, based on sys-kernel/gentoo-sources"
HOMEPAGE=""
SRC_URI="https://mirror.stepping-stone.ch/public/gentoo/binary-kernel/${P}.tar.gz"

LICENSE="GPL-2"
SLOT="${PV}"
KEYWORDS="amd64"
IUSE=""

DEPEND="sys-boot/grub:2
	sys-kernel/sst-firmware-vm-bin"
RDEPEND="${DEPEND}"

src_install() {
	doins -r boot lib usr
}

pkg_postinst() {
	grub-mkconfig -o /boot/grub/grub.cfg \
		|| die "unable to generate GRUB configuration file"

	eselect kernel set linux-4.4.232-gentoo 		|| die "unable to eselect kernel"

	rm -f /boot/{System.map,vmlinuz,config}{,.old}
}