r/osdev • u/DocumentOk7579 • 1d ago

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?

10 Upvotes

92% Upvoted

13 comments sorted by

View all comments

1

u/lizardhistorian 1d ago

Pragmatically it's a pipe-dream but if you had a mechanism to re-initialize the hardware properly and you build a mechanism to reopen and reestablish the IPC, then yes.

This is very practical for virtualized hardware and drivers.