VGA in kernel + Doxygen