search

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

examples/timer: add README #185

Closed Ivan-Velickovic closed 1 month ago

Ivan-Velickovic commented 1 month ago

Realised this was missing when adding the JH7110 timer driver to the example.