From: Gerwin Klein <kleing@unsw.edu.au> Subject: [seL4] new RFC: seL4 Device Driver Framework To: sel4 <devel@sel4.systems> Cc: "tsc-members@sel4.systems" <tsc-members@sel4.systems> Message-ID: <55BB3266-24A1-488B-A623-5B912461AD7F@unsw.edu.au> Content-Type: text/plain; charset="us-ascii"

A new RFC has just landed: https://sel4.atlassian.net/browse/RFC-12

If you have any feedback, please comment there.

Cheers, Gerwin

Ooh, exciting. I wonder if something similar to Mesa could be implemented for graphics, to ease porting existing Mesa drivers.