It seems only buzzer driver is provided in the linux kernel 2.6.36, provided with the Mini6410 kit.It only allows for a frequency to be set for buzzer as in the demo. Can any one guide about adding support for using PWM modules in pulse mode or auto reload mode for PWM1 with a specified duty cycle. How would API be used under a C program from linux ?