There are python libraries for the raspberry pi that use its dma channels to output pwm on any pin chosen? How do i get PWM out of the allwinner h3? In the allwinner h3 datasheet it says "12 dma channels".   thanks in advance.