kernel_interface.cpp revision 0b3f78e7
1