L4 Driver Security

Björn Döbel 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
> principles:
> 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
> implemented.


> 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.

Of course.


More information about the l4-hackers mailing list