A student project of OS kernel in C/C++