RFC-12: seL4 Device Driver Framework

gerwin.klein October 6, 2022, 2:59pm 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

Topic		Replies	Views
RFC-9: Add new capability for seL4 SMC Forwarding RFC discussion	0	324	November 9, 2021
Pre-RFC: interface specifications RFC discussion	1	315	November 11, 2020
Pre-RFC: Specify a fixed kernel ABI for each architecture RFC discussion	21	1261	November 10, 2020
Pre-RFC: Supported kernel configurations RFC discussion	4	353	February 8, 2021
How do I add a new device driver to seL4? seL4 kernel	0	687	January 3, 2019