linux-headers-4.1.12-hypriotos+_4.1.12-hypriotos+-1_armhf.deb

STEP 1: Have you installed this repository?

If not, run this installation script command:

curl -s https://packagecloud.io/install/repositories/Hypriot/rpi/script.deb.sh | sudo bash
copy
curl -s https://packagecloud.io/install/repositories/Hypriot/rpi/script.deb.sh | sudo bash

STEP 2: Install the package
sudo apt-get install linux-headers-4.1.12-hypriotos+=4.1.12-hypriotos+-1

Linux kernel headers for 4.1.12-hypriotos+ on armhf

Full description:
  Linux kernel headers for 4.1.12-hypriotos+ on armhf
 This package provides kernel header files for 4.1.12-hypriotos+ on armhf
 .
 This is useful for people who need to build external modules

Checksums

MD5 6a0ca57f1cb82440ebb6e667d05bd9d1
SHA1 84daaa7db058a28f84e740b9766abc009c56099e
SHA256 ccfbdafbe17138ea504fcfff64f5acc731f847f623dfd77587fec90de58c119e
SHA512 f799b426ada82c407f0f40df2f440ba983370d85c30634aa63578ca973890e88b25c245186887fc66c25f0cac5e5d3c5655b71a5ffc53c6ce740a70f1bc301fd

Provides

  • linux-headers, linux-headers-2.6

Files

  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/isp1760/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/isp1760/Kconfig
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/image/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/image/Kconfig
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/host/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/host/Kconfig
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/host/dwc_otg/test/test_sysfs.pl
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/host/dwc_otg/test/test_mod_param.pl
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/host/dwc_otg/test/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/host/dwc_otg/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/host/dwc_common_port/Makefile.linux
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/host/dwc_common_port/Makefile.fbsd
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/host/dwc_common_port/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/gadget/udc/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/gadget/udc/Kconfig
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/gadget/udc/bdc/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/gadget/udc/bdc/Kconfig
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/gadget/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/gadget/legacy/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/gadget/legacy/Kconfig
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/gadget/Kconfig
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/gadget/function/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/early/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/dwc3/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/dwc3/Kconfig
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/dwc2/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/dwc2/Kconfig
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/core/Makefile
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/core/Kconfig
  • /usr/src/linux-headers-4.1.12-hypriotos+/drivers/usb/common/Makefile

Uploaded

over 8 years ago

Package Size

6.59 MB

Installed Size

47.7 MB

Downloads

34

wget

wget --content-disposition "https://packagecloud.io/Hypriot/rpi/packages/debian/jessie/linux-headers-4.1.12-hypriotos+_4.1.12-hypriotos+-1_armhf.deb/download.deb?distro_version_id=25"

Homepage

http://www.kernel.org/