kesl/khypervisor — pull request #33 by in1004kyu (2013-09-03 12:12:29+00:00)
Title: Add pwm timer. 

Add pwm timer. It operates on arndale board. Test code in tests_gic_timer.c