Kernel written in C++ with time slicing (with simple thread management functions)