UPB-CS-OpenSourceUpstream / tock

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

Implement the basic functionallity of the PWM for RP2040 #3

Closed alexandruradovici closed 1 year ago

alexandruradovici commented 1 year ago

Looking at the other peripherals implemented for the Raspberry Pi Pico, implement the registers and the PWM HIL for the RP2040.

Documentation

alexandruradovici commented 1 year ago

Pull request sent https://github.com/tock/tock/pull/3372