一种基于64位微内核的操作系统，用C++编写，支持SMP技术
a little 64bit microkernel based operating system written in c++ with smp support
