Installing the latest kernel (Debian Stretch) + configuring the bootloader?

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...

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

Possibly Related Threads…
Thread Author Replies Views Last Post
  Linux 5.15 Kernel - openSuse mark1250 0 767 12-02-2021, 04:36 PM
Last Post: mark1250
  Security Patches for the Kernel kwinz 9 4,054 10-22-2021, 05:45 AM
Last Post: kwinz
  rock64-debian-mrfixit-190531.img.xz : missing /usr/lib/dri/ popi 5 3,412 08-12-2021, 04:55 AM
Last Post: igorp
  Debian build from mrfixit2001 Luke 18 20,970 05-17-2021, 02:35 AM
Last Post: Wizzard
  Debian kernel stuck at 4.4.167 Enig123 5 3,827 12-29-2020, 12:57 PM
Last Post: kwinz
  Debian (Vanilla) on Rock64 and eMMC - how ? as365n4 4 3,769 09-21-2020, 04:33 AM
Last Post: as365n4
  Arch Linux Arm --> Kernel 5.8 breaks installation as365n4 12 8,933 08-31-2020, 01:41 AM
Last Post: as365n4
  Installing DietPie on Rock64 and set 1280x1024 resolution Dape97 2 2,851 05-26-2020, 07:20 AM
Last Post: Dape97
  pcsx rearmed on rock64 debian stretch does not go fullscreen RockyBoulder 2 3,272 05-09-2020, 03:15 AM
Last Post: lawrencejd
  mainline kernel sound support Openwrt lucize 2 3,038 05-01-2020, 05:09 PM
Last Post: PakoSt

Forum Jump:

Users browsing this thread: 1 Guest(s)