Re:Debian GNU/Hurd 2023 released
by dale_glass on Monday June 12, 2023 @04:23PM
(#36300451)
IOMMUs that can individually handle every device seem fairly rare still.
You can check with this script: https://pastebin.com/4t3WD5R1
On quite a lot of hardware you can't really isolate devices from each other properly.
Not really. IOMMUs have been a thing for a while. As for the GPU's hardware, it can be reset w/o affecting the rest of the system.
Even Linux and Windows can do that, it isn't a microkernel-exclusive thing. The latter just handle it better architecturally.