blob: 7dc51e4b7b0bf188b0bc86ec46b06a156cf4ac71 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=5
inherit readme.gentoo
DESCRIPTION="Raspberry PI boot loader and firmware"
HOMEPAGE="https://github.com/raspberrypi/firmware"
SRC_URI="https://github.com/raspberrypi/firmware/archive/${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="GPL-2 raspberrypi-videocore-bin"
SLOT="0"
KEYWORDS="~arm -*"
IUSE=""
DEPEND=""
RDEPEND=""
S=${WORKDIR}/${P/raspberrypi-}
RESTRICT="binchecks strip"
pkg_preinst() {
if ! grep "${ROOT}boot" /proc/mounts >/dev/null 2>&1; then
ewarn "${ROOT}boot is not mounted, the files might not be installed at the right place"
fi
}
src_configure() { :; }
src_compile() { :; }
src_install() {
rm boot/{kernel{,7}.img,COPYING.linux,LICENCE.broadcom} || die
insinto /boot
doins -r boot/*
newenvd "${FILESDIR}"/${PN}-0_p20130711-envd 90${PN}
readme.gentoo_create_doc
}
DOC_CONTENTS=" config.txt and cmdline.txt need to be generated by you
More information here:
https://www.raspberrypi.org/documentation/configuration/config-txt.md
Another good source http://elinux.org/RPi_config.txt
http://elinux.org/RPi_cmdline.txt"
|
GitWeb
