phk 7765038ea7 Add a rudimentary PWM driver for the RaspberryPi.
Control is through sysctl, only GPIO12 supported.

bootverbose creates sysctls for direct mangling of relevant registers.

Only tested on RPI2
2018-01-14 20:36:21 +00:00
..
2018-01-13 19:02:08 +00:00
2018-01-04 22:37:15 +00:00
2017-12-30 22:01:17 +00:00