L4 Driver Security
doebel at os.inf.tu-dresden.de
Wed Jun 20 11:03:52 CEST 2012
> I'm learning about Driver Security in L4Re. I have some statements
> which I would like to have confirmed to understand the underlying
> 1. L4 Drivers use DMA and are therefore able to write directly to the
> device memory and thus can cause crashes or damage if not carefully
> 2. While the L4Re Io-Server manages the access of drivers to the
> hardware's address spaces, it doesn't prevent drivers to write "bad"
> things into the device memory.
> 3. Untrusted, untested drivers can cause system crashes.
More information about the l4-hackers