Re: l4-hackers Digest, Vol 110, Issue 18
Robert Campbell <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CABqF2RcM9MZ6pEsERZK1cK6ATwSti7muAX2Be8azOECQx6uNKw@mail.gmail.com> |
> There's one thing to add, though: By running device drivers in dedicated > user-level processes, a crashing driver in the common case only takes > down its own process, but the rest of the system continues to run. > That's a major advantage, because you can have a monitoring process that > then restarts the driver [1] this way. > However, even a user space driver can still crash the system if it goes > rampant by misprogramming the DMA engine and you don't use an IOMMU. > Bjoern Are there plans to provide IOMMU support in Fiasco.OC? _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers