kernel_interface.cpp revision 40f2ce7d
1