What are the Raspbian kernel packages called?

linux-image-* aren't they?

e.g dpkg -l linux-image* | grep ^i ii linux-image-3.19.0-32-generic

On this system here (admittedly x86)

No, as the OP said there's nothing that looks like a kernel image if you search for 'linux' or 'kernel' on a pi.

I just tried searching for 'image' as well but that just brought up lots of graphics stuff.

There *are* linux-image packages for the pi but they're all old 3.x.x ones, current pi (well mine anyway) has 4.1.13+.

Well after quite a bit of digging I used 'dpkg --search', as follows:- chris@raspberrypi:~$ dpkg --search kernel.img raspberrypi-bootloader: /boot/kernel.img chris@raspberrypi:~$

So the kernel.img file is in the raspberrypi-bootloader package.

Thanks. I find this a bit odd, though, since on other Debian-based systems (IME), the package shows the kernel version clearly, & it's possible to keep one or two "spare" old kernels on the system in case you need to revert.

Ubuntu example:

$ dpkg -l linux-image* |grep ^i ii linux-image-4.2.0-35-generic 4.2.0-35.40 amd64 Linux kernel image for version 4.2.0 on 64 bit x86 SMP ii linux-image-4.2.0-36-generic 4.2.0-36.42 amd64 Linux kernel image for version 4.2.0 on 64 bit x86 SMP ii linux-image-extra-4.2.0-35-generic 4.2.0-35.40 amd64 Linux kernel extra modules for version 4.2.0 on 64 bit x86 SMP ii linux-image-extra-4.2.0-36-generic 4.2.0-36.42 amd64 Linux kernel extra modules for version 4.2.0 on 64 bit x86 SMP ii linux-image-generic 4.2.0.36.39 amd64 Generic Linux kernel image

$ uname -a Linux bragi 4.2.0-36-generic #42-Ubuntu SMP Thu May 12 22:05:35 UTC 2016 x86_64 x86_64 x86_64 GNU/Linux

Raspbian example: $ dpkg -l raspberry* |grep ^i ii raspberrypi-bootloader 1.20160523-1 armhf Raspberry Pi bootloader ii raspberrypi-kernel 1.20160523-1 armhf Raspberry Pi bootloader

$ uname -a Linux honeydew 4.4.9-v7+ #884 SMP Fri May 6 17:28:59 BST 2016 armv7l GNU/Linux

...& that may mean the Pi is overdue for a reboot.

With RPi you just keep a few spare SD cards ...

Well, usually, but in my case it's a file server with only /boot on the SD card (everything else is on an externally powered USB drive), in the back of a cupboard with no monitor or keyboard.