> From: Gerwin Klein <[email protected]> > Subject: [seL4] new RFC: seL4 Device Driver Framework > To: sel4 <[email protected]> > Cc: "[email protected]" <[email protected]> > Message-ID: <[email protected]> > 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. _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
