linux-libre-headers 4.19.139 GNU Linux-Libre kernel headers
Headers of the Linux-Libre kernel.
- Website: https://www.gnu.org/software/linux-libre/
- License: GPL 2
- Package source: linux.scm
- Patches: 100gnu+freedo.patch, linux-libre-arm-export-__sync_icache_dcache.patch
- Builds: x86_64-linux, i686-linux