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

benchmark list:
context1 coremark dhry2 dhry2reg execl hanoi pipe syscall