K 10 svn:author V 3 phk K 8 svn:date V 27 2018-01-14T20:36:21.510785Z K 7 svn:log V 194 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 END