Kernel C++ driver developing library; std & boost partially supported