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

Add JH7110 timer driver #183

Open Ivan-Velickovic opened 1 month ago

Ivan-Velickovic commented 1 month ago

Also adds support for the Pine64 Star64 in the timer example.

This example expects the mainline Microkit to be used which is why it has not been added into the CI script. I will do so once sDDF transitions to the mainline Microkit in the next couple of days.