How to switch between installed kernel and developed kernel

[Gidi Gal]

Many thanks for your reply, Aruna. Is there a way to remove the installed
'5.12.0-rc3-GIDI_DEV+' kernel ? A reverse command for the 'sudo make
modules_install install' command ? I found this link which explains how to
do it manually (
https://www.cyberciti.biz/faq/debian-redhat-linux-delete-kernel-command/),
I wonder if there is a safer way.

Thanks,
Gidi

On Mon, Mar 22, 2021 at 11:20 PM Aruna Hewapathirane <
aruna.hewapathirane at gmail.com> wrote:

>
> On Mon, Mar 22, 2021 at 5:18 PM Aruna Hewapathirane <
> aruna.hewapathirane at gmail.com> wrote:
>
>> <snip>
>>
>>> update-initramfs: Generating /boot/initrd.img-5.12.0-rc3-GIDI_DEV+
>>> dpkg: warning: version '5.12.0-rc3-GIDI_DEV+' has bad syntax: invalid
>>> character in revision number
>>> dpkg: warning: version '5.12.0-rc3-GIDI_DEV+' has bad syntax: invalid
>>> character in revision number
>>>
>>  <snip>
>>
>
> Sorry I forgot to tell you if you look carefully the warning actually says
> :  version '5.12.0-rc3-GIDI_DEV+' has bad syntax: invalid character in
> revision number :-)
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20210323/b29397d3/attachment.html>