UPB-CS-OpenSourceUpstream / tock

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

This pull request made the set_clocks functions public only for the crate. #14

Closed bogdiw closed 1 year ago

bogdiw commented 1 year ago

Pull Request Overview

This pull request changes the set_clocks functions for RP2040 drivers. They are defined as public, being accessible from within the crate. Making them public only inside the crate they cannot be accessed from code that is using the crate, but they can be accessed from other parts of the code within the crate. It resolves #10

TODO or Help Wanted

This pull request should be reviewed by someone with more experience.

Documentation Updated

Nothing updated.

Formatting

alexandruradovici commented 1 year ago

Thank you for submitting this, there is already an upstream pull request for this.