This reporsitory is now managed on https://github.com/casys-kaist/KeOS.
KAIST educational Virtualization (KeV) is a project for Special Topics in Computer Science <Virtualization> (CS492) by Youngjin Kwon.
The manual is available at https://casys-kaist.github.io/kev/kev/