virtual device : Removed ARM architecture dependencies in virtual device.
Merge pull request #166 from joohyun0115/vdev_framework

Removed ARM architecture dependencies in virtual device.
[GUEST] Move receiving vtimer interrupt code to c_start.c

This patch separates virtual timer from gic
Merge pull request #167 from in1004kyu/v1

[GUEST] Move receiving vtimer interrupt code to c_start.c
guest : Removed ARM architecture dependencies in guest context

We have to integrate both files(guest.c, context.c). and create a hal
directory for arm32ve. After all, we plan to move there, regarding
the part of architecture-specific code.
Merge pull request #168 from joohyun0115/guest

guest : Removed ARM architecture dependencies in guest context