this post was submitted on 24 Oct 2023
1719 points (96.9% liked)
Memes
45647 readers
1114 users here now
Rules:
- Be civil and nice.
- Try not to excessively repost, as a rule of thumb, wait at least 2 months to do it if you have to.
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
you can't really hot swap the kernel, because all of the system runs on it.
you'd need to stop the system (you can save its state and recover where you left), reboot to load the new kernel and let it take control.
however, there are some distros and programs that allow you to hot swap certain parts of the kernel (mainly drivers) without rebooting. Note that, even though the system doesn't reboot, most packages still need to be restarted for them to pick up the new driver.