GitHub repository: Ivan-Velickovic/sDDF
Primary language: C
Description: seL4 Device Driver Framework