kesl/khypervisor — pull request #114 by joohyun0115 (2014-02-27 07:35:31+00:00)
Title: update fs.cipo rtsm port for benchmark

benchmark list:
context1 coremark dhry2 dhry2reg execl hanoi pipe syscall