kesl/khypervisor — pull request #211 by Beomjun (2014-04-04 10:15:13+00:00)
Title: Upgraded timer for supporting multiple timers.

Changed timer's implementation and interface for supporting multiple timers.

Applied new timer interface on guest.c and vdev_timer.c and tests_gic_timer.c.