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

drivers: clock -> timer #215

Closed Ivan-Velickovic closed 2 weeks ago

Ivan-Velickovic commented 2 weeks ago

More accurate name, especially since soon we will have clk drivers.