kernel_interface.cpp revision 3b8f7470
1