Update to Microkit 1.4.1

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

Other

17 stars 14 forks source link

Closed Ivan-Velickovic closed 1 month ago