anhvlt-2k6

Alright, so first of all I don't like the current logo of the C++ kernel, please change it. Or try using the C++ default logo, it is better.

I think `gdb` is not applicable for the current design of C++ kernel. You should implement the second or try the better solution.