kesl/khypervisor — pull request #167 by in1004kyu (2014-03-14 07:24:56+00:00)
Title: [GUEST] Move receiving vtimer interrupt code to c_start.c

This patch separates virtual timer from gic.