https://repo.fury.io/jc2k/
| Name | Kind | Latest version | |
|---|---|---|---|
| firmware-raspberrypi | deb | 1 | |
| The various bits of bootloader + firmware to start a Raspberry Pi. | |||
| flash-kernel | deb | 3.60~bpo8+1~unrouted1 | |
| utility to make certain embedded devices bootable flash-kernel is a script which will put the kernel and initramfs in the boot location of embedded devices that don't load the kernel and initramfs directly from /boot. flash-kernel supports devices that boot from flash memory (hence the name) as well as some devices that require a special boot image on the disk. | |||
| linux-rpi2-headers-4.7.0 | deb | 1.0 | |
| Header files related to Linux kernel, specifically, version 4.7.0 . This package provides kernel header files for sites that want the latest kernel headers for version 4.7.0. Please read /usr/share/doc/linux-rpi2-headers-4.7.0/debian.README.gz for details | |||
| linux-rpi2-image-4.7.0 | deb | 1.0 | |
| Linux kernel binary image for version 4.7.0 This package contains the Linux kernel image for version 4.7.0. . It also contains the corresponding System.map file, and the modules built by the packager. It also contains scripts that try to ensure that the system is not left in a unbootable state after an update. . Kernel image packages are generally produced using kernel-package, and it is suggested that you install that package if you wish to create a custom kernel from the sources. Please look at kernel-img.conf(5), and /usr/share/doc/kernel-package/README.gz from the package kernel-package for details on how to tailor the installation of this or any other kernel image package | |||