Code reviewed.

Only added a comment in kernel.cpp on line 12