(Possibly a numpty question, but bear with me.)
On other Debian-based systems, I can find out what kernel packages are installed this way:
$ dpkg -l linux* |grep ^i
On Raspbian, that only turns up linux-libc-dev. Trying 'dpkg -l
*kernel*' doesn't find anything either. What are the kernel packages called on Raspbian?-- In the 1970s, people began receiving utility bills for myth of the infallible electronic brain. (Verity Stob)
linux-image-* aren't they?
e.g dpkg -l linux-image* | grep ^i ii linux-image-3.19.0-32-generic
3.19.0-32.37~14.04.1 amd64 Linux kernel image for version 3.19.0 on 64 bit x86 SMP ii linux-image-extra-3.19.0-32-generic 3.19.0-32.37~14.04.1 amd64 Linux kernel extra modules for version 3.19.0 on 64 bit x86 SMPOn this system here (admittedly x86)
-- The theory of Communism may be summed up in one sentence: Abolish all private property. Karl Marx
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+.
-- Chris Green
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.
-- Chris Green
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.
-- I am at the moment writing a lengthy indictment against our century. When my brain begins to reel from my literary labors, I make an occasional cheese dip. --- Ignatius J Reilly
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.
-- No right of private conversation was enumerated in the Constitution. I don't suppose it occurred to anyone at the time that it could be prevented. --- Whitfield Diffie
ElectronDepot website is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.