RFC-12: seL4 Device Driver Framework

RFC discussion
1

A new RFC has just landed on the seL4 Device Driver Framework: [RFC-12] - Jira

If you have any feedback, please comment there.

Cheers,
Gerwin