Page 1 of 1

How to change the kernel?

Posted: Mon Apr 18, 2022 3:14 pm
by mikolaj_q

Is it possible to change the kernel? There is no change_kernels app like Puppy has, so how can I do it? Is there some official way? Can I expect that kernel from Puppy linux could work?


Re: How to change the kernel?

Posted: Tue Apr 19, 2022 12:48 am
by Flash

Change the kernel in what?


Re: How to change the kernel?

Posted: Tue Apr 19, 2022 3:00 am
by BarryK

You could change the kernel.

Replace 'vmlinuz' in the boot partition with your new one.

You must also copy-in /lib/modules/<kernel version>

Then reboot.

If the kernel has aufs, it should work.

However, the EasyOS kernel has security features, the lack of which will cause trouble.
If you have an encrypted working partition, expect boot failure.
Then there is the bootup in ram with internal drives disabled, expect that not to work.

In other words, you are better off only using kernels compiled for EasyOS.

You can compile a kernel yourself:

https://distro.ibiblio.org/easyos/sourc ... -20220403/


Re: How to change the kernel?

Posted: Wed Apr 27, 2022 12:02 pm
by mikolaj_q

Thanks for the reply :)