1. Overview
  2. Docs
Virtual package relying on the installation of the Linux kernel headers files

Install

kernel.org Edit opam file

Authors

  1. M
    Markus W. Weissmann <markus.weissmann@in.tum.de>

Maintainers

  1. M
    Markus W. Weissmann <markus.weissmann@in.tum.de>

Description

This package can only install if the kernel headers for user space applications are installed on the system.

Published: 15 Aug 2017

Dependencies

    None

Dev Dependencies

    None

Used by (6)

  1. hvsock >= "3.0.1"
  2. i2c
  3. mirage-block-unix >= "2.12.0"
  4. mperf
  5. polly
  6. socketcan

Conflicts

    None