UPB-CS-OpenSourceUpstream / tock

A secure embedded operating system for microcontrollers
https://www.tockos.org
Other
2 stars 6 forks source link

Update `set_clocks` for RP2040 drivers to limit them to the crate #10

Closed alexandruradovici closed 1 year ago

alexandruradovici commented 1 year ago

The set_clocks functions from the RO2040 drivers are defined as public. They should be defined as public only for the crate.

alexandruradovici commented 1 year ago

Closed by https://github.com/tock/tock/pull/3373