Re: l4-hackers Digest, Vol 110, Issue 18
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
On Thu Jun 21, 2012 at 15:49:28 -0500, Robert Campbell wrote: > > 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. > Are there plans to provide IOMMU support in Fiasco.OC? Yes. Adam -- Adam [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/