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

Star64 Support #181

Closed Kswin01 closed 1 month ago

Kswin01 commented 1 month ago

This PR adds support for the Star64, including serial, timer and network drivers.

Ivan-Velickovic commented 1 month ago

Three PRs actually, one for each driver. Sorry should've specified.