trying to pwm through linux OS and timer, and read int on cypress chip