HPC operating systems face unique challenges that cannot be tackled by traditional macro kernel operating systems. These challenges range from concurrency and high efficiency, system flexibility and fault tolerance, heterogeneity, I/O and memory bandwidth to low noise. We present a virtual operating system architecture, which combines a virtual machine manager with a lightweight kernel. The virtual machine manager supports both time and spacesharing virtual machines. We implement a system prototype Hypervk based on the domestic platform and preliminary experimental results verify the feasibility and efficiency of the system.