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?
How to change the kernel?
Moderator: BarryK
Re: How to change the kernel?
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:
