theodor.nanu
Posts: 3
Joined: Fri Jun 11, 2021 10:52 am

Switching kernels

Fri Jun 11, 2021 11:04 am

Hello,
I am trying to compile a version of the raspbian kernel. The compilation process does not return any errors, however trying to switch to the newly compiled kernel does not work. I modified the config.txt file from the boot directory by adding the following line

Code: Select all

kernel=kernel7.img
, kernel7.img being the name of the resulting img file after the compilation process. I also tried to delete the old kernel.img file from the boot directory and rename the new one to this name, but that does not work either. Does anyone encountered this problem and have a solution to this?

jamesh
Raspberry Pi Engineer & Forum Moderator
Raspberry Pi Engineer & Forum Moderator
Posts: 29039
Joined: Sat Jul 30, 2011 7:41 pm

Re: Switching kernels

Fri Jun 11, 2021 12:12 pm

What are the symptoms of "not working"? Did you update all the modules as well?
Principal Software Engineer at Raspberry Pi (Trading) Ltd.
Working in the Application's Team.

theodor.nanu
Posts: 3
Joined: Fri Jun 11, 2021 10:52 am

Re: Switching kernels

Fri Jun 11, 2021 12:30 pm

jamesh wrote:
Fri Jun 11, 2021 12:12 pm
What are the symptoms of "not working"? Did you update all the modules as well?
Running the "uname -r" command in the terminal will give me the name of the initial kernel. Also, I am new to Raspberry Pi, I did not know you have to update the modules after compiling, can you provide an example on how to do that?
Last edited by theodor.nanu on Wed Jun 23, 2021 6:44 am, edited 2 times in total.

fruitoftheloom
Posts: 27086
Joined: Tue Mar 25, 2014 12:40 pm

Re: Switching kernels

Fri Jun 11, 2021 1:19 pm

theodor.nanu wrote:
Fri Jun 11, 2021 12:30 pm
jamesh wrote:
Fri Jun 11, 2021 12:12 pm
What are the symptoms of "not working"? Did you update all the modules as well?
Running the "uname -r" command in the terminal will give me the name of the initial kernel. Also, I am new to Raspberry Pi, I did not know you have to update the modules after compiling, can you provide an example on how to do that?

https://www.raspberrypi.org/documentati ... /README.md
I am a volunteer, take what I advise as advice not the utopian holy grail.

theodor.nanu
Posts: 3
Joined: Fri Jun 11, 2021 10:52 am

Re: Switching kernels

Wed Jun 23, 2021 6:44 am

fruitoftheloom wrote:
Fri Jun 11, 2021 1:19 pm
theodor.nanu wrote:
Fri Jun 11, 2021 12:30 pm
jamesh wrote:
Fri Jun 11, 2021 12:12 pm
What are the symptoms of "not working"? Did you update all the modules as well?
Running the "uname -r" command in the terminal will give me the name of the initial kernel. Also, I am new to Raspberry Pi, I did not know you have to update the modules after compiling, can you provide an example on how to do that?

https://www.raspberrypi.org/documentati ... /README.md
I looked back over the commands on the guide on how to build the kernel. Isn't the sudo make modules_install command used to update the modules? Because I ran that and I still can't switch to the newly compiled kernel.

Return to “Troubleshooting”