Since only one firmware is used to boot the Raspberry Pi, there is no
reason to install all of them.
Add an option to select what firmware to install.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Reviewed-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Introducing a package to install pre-built binaries for the bootloader and
the GPU firmware for the RaspberryPi board.
[Peter: rename to rpi-firmware, add link to http://elinux.org/RPiconfig]
Signed-off-by: Maxime Hadjinlian <maxime.hadjinlian@gmail.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>