Installing the latest kernel (Debian Stretch) + configuring the bootloader?
#1
Question 
Greetings,

Does anyone have any idea how exactly to go about this procedure? I mean, I managed to build kernel 4.15.5 from the vanilla sources, and I'm aware of what I'd do next on an x86-64 machine (make a .deb package, install it)...but, and this is the part that throws me for a loop, I'd normally just run update grub and reboot. I've looked in the /boot partition, and I'm feeling the process might be a little more complex here...I see a label for kernel-4.4 in extlinux.conf, but nothing immediately in the way of tools for adding to this file a new image...
  Reply


Messages In This Thread
Installing the latest kernel (Debian Stretch) + configuring the bootloader? - by lightknight.rr@gmail.com - 02-24-2018, 06:38 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  rock64-debian-mrfixit-190531.img.xz : missing /usr/lib/dri/rockchip_dri.so popi 5 477 08-12-2021, 04:55 AM
Last Post: igorp
  Debian build from mrfixit2001 Luke 18 12,919 05-17-2021, 02:35 AM
Last Post: Wizzard
  Security Patches for the Kernel kwinz 8 1,752 01-16-2021, 05:34 PM
Last Post: kuleszdl
  Debian kernel stuck at 4.4.167 Enig123 5 1,667 12-29-2020, 12:57 PM
Last Post: kwinz
  Debian (Vanilla) on Rock64 and eMMC - how ? as365n4 4 2,438 09-21-2020, 04:33 AM
Last Post: as365n4
  Arch Linux Arm --> Kernel 5.8 breaks installation as365n4 12 5,481 08-31-2020, 01:41 AM
Last Post: as365n4
  Installing DietPie on Rock64 and set 1280x1024 resolution Dape97 2 1,620 05-26-2020, 07:20 AM
Last Post: Dape97
  pcsx rearmed on rock64 debian stretch does not go fullscreen RockyBoulder 2 2,073 05-09-2020, 03:15 AM
Last Post: lawrencejd
  mainline kernel sound support Openwrt lucize 2 1,691 05-01-2020, 05:09 PM
Last Post: PakoSt
  5.3 kernel support? csrf 5 3,059 04-18-2020, 11:34 PM
Last Post: CameronNemo

Forum Jump:


Users browsing this thread: 1 Guest(s)