how to change the booting Kernel ?


felixs
 Share

0

Recommended Posts

Hello,

I have "destroyed" my actual Kernel with TV Carddriver from here DVB Sky Website, ( the Media build ).

Now the system dont found the TV Card and dont load the correct drivers.

I wish to start the "old" Kernel (4.13.16)  - delete the actual Kernel (4.14.15) with my problems - and install the Kernel 4.14.15 new ...

Did you see what I will do - is it possible ?

Can you help me please ?

I found  this - is it so easy ?

apt-get install --reinstall linux-image-$(uname -r) 

 

Hardware: Cubietruck

 

uname -a
Linux wetterserver 4.14.15-sunxi #28 SMP Mon Jan 29 07:24:48 CET 2018 armv7l armv7l armv7l GNU/Linux

 

ll /usr/src/
drwxr-xr-x  3 root root 4096 Jun 25  2017 linux-headers-4.11.5-sunxi/
drwxr-xr-x  3 root root 4096 Nov 27 18:39 linux-headers-4.11.6-sunxi/
drwxr-xr-x  3 root root 4096 Jan 30 11:40 linux-headers-4.13.16-sunxi/
drwxr-xr-x 24 root root 4096 Jan 30 11:41 linux-headers-4.14.15-sunxi/
drwxr-xr-x  4 root root 4096 Jun 18  2017 linux-headers-4.9.12-sunxi/
drwxr-xr-x  4 root root 4096 Apr  5  2017 linux-headers-4.9.7-sunxi/

Maybe I have only the headers .... but not the passed Kernel Image ?

dpkg --list | grep linux-image
ii  linux-image-next-sunxi             5.38                                       armhf        Linux kernel, version 4.14.15-sunxi

 

found this  - but  is named    linux-image-next-sunxi_5.35_armhf.deb

https://apt.armbian.com/pool/main/l/linux-4.13.16-sunxi/

Thanks for help !

Link to post
Share on other sites

Armbian is a community driven open source project. Do you like to contribute your code?

Guest
This topic is now closed to further replies.
 Share

0