kernelHeaders: 4.18.3 -> 4.19.16

This commit is contained in:
Tim Steinbach 2019-01-20 14:21:25 -05:00
parent 53e1db960a
commit 8f1b27401c
No known key found for this signature in database
GPG Key ID: 6C654787275A64F1

View File

@ -75,8 +75,8 @@ let
in {
linuxHeaders = common {
version = "4.18.3";
sha256 = "1m23hjd02bg8mqnd8dc4z4m3kxds1cyrc6j5saiwnhzbz373rvc1";
version = "4.19.16";
sha256 = "1pqvn6dsh0xhdpawz4ag27vkw1abvb6sn3869i4fbrz33ww8i86q";
patches = [
./no-relocs.patch # for building x86 kernel headers on non-ELF platforms
./no-dynamic-cc-version-check.patch # so we can use `stdenvNoCC`, see `makeFlags` above