Add a PWM syscall driver

UPB-CS-OpenSourceUpstream / tock

A secure embedded operating system for microcontrollers

https://www.tockos.org

Other

2 stars 6 forks source link

Add a PWM syscall driver #5

Closed alexandruradovici closed 1 year ago

alexandruradovici commented 1 year ago

There is no PWM system call driver for Tock. You can start from the ADC system call driver, as it is very similar. A good board for testing this is the micro:bit v2.

Documentation

ADC system call driver implementation - https://github.com/tock/tock/blob/55c73f1c9f3c0966d975458a9564ae430a5919af/capsules/src/adc.rs#L1103
How to write a system call driver - https://github.com/tock/tock/blob/master/doc/Syscalls.md

alexandruradovici commented 1 year ago

Pull request https://github.com/tock/tock/pull/3367