A kernel extensively using C++