From f1afb215b26f878a8c3e78bfbe2146ad8fd88867 Mon Sep 17 00:00:00 2001 From: Ludovic Pouzenc Date: Wed, 27 Sep 2017 18:04:07 +0200 Subject: Try last stable kernel for Dell T1900 UEFI-only working boot --- make-boot-image.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make-boot-image.sh b/make-boot-image.sh index 7b80a7e..4f14ca6 100755 --- a/make-boot-image.sh +++ b/make-boot-image.sh @@ -12,7 +12,7 @@ LEGACY=y # make USB bootable key compatible with non UEFI-BIOS DEVEL_MODE=n # Adds debugging tools in the generated image ROOTCMD=sudo WGET="wget" # "wget --no-check-certificate" could help but is a security concern -KERNEL_TARBALL_URL=https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.6.tar.xz +KERNEL_TARBALL_URL=https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.9.39.tar.xz KCONFIGLIB_MAIN_URL=https://raw.githubusercontent.com/ulfalizer/Kconfiglib/7eace27993ad3aa1d6911866d9c60a11f32d36d9/kconfiglib.py KCONFIGLIB_PATCH_URL=https://raw.githubusercontent.com/ulfalizer/Kconfiglib/7eace27993ad3aa1d6911866d9c60a11f32d36d9/makefile.patch NIC_FIRMWARE_URL=http://fr.archive.ubuntu.com/ubuntu/pool/main/l/linux-firmware/nic-firmware_1.165_all.udeb -- cgit v1.2.3