Can you add a bit of Doxygen here just so we know what this Kernel is for?