From 38e52db8358c043ae82b346a2e6e66bc86a53bc1 Mon Sep 17 00:00:00 2001
From: Rich Felker <dalias@aerifal.cx>
Date: Wed, 18 Dec 2019 14:29:07 -0500
Subject: [PATCH] switch linux kernel headers to 4.19.88 by default

using slim headers-only version. this change is needed to support all
future versions of musl on 32-bit archs, since prior to 4.16 the
kernel headers had incompatibility with userspace time_t not matching
the kernel's old (32-bit) time_t. support for older headers will be
dropped entirely soon.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3f67f5c..8681562 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ MUSL_VER = 1.1.24
 GMP_VER = 6.1.2
 MPC_VER = 1.1.0
 MPFR_VER = 4.0.2
-LINUX_VER = 4.4.10
+LINUX_VER = headers-4.19.88
 
 GNU_SITE = https://ftp.gnu.org/pub/gnu
 GCC_SITE = $(GNU_SITE)/gcc