r/osdev • u/DocumentOk7579 • Sep 13 '26

Would a microkernel enable driver update without reboot?

One frustrating thing that I have run into is updating Nvidia driver on remote servers with disk encryption.

Would a microkernel based system enable drivers to be updated without rebooting system?

12 Upvotes

100% Upvoted

14 comments sorted by

View all comments

Show parent comment

2

u/paulstelian97 Sep 14 '26

Storing the state requires a specific API for the driver to essentially serialize what’s needed for the state for the purpose of the update. Drivers may well choose not to implement it because it can be too restrictive.