kernel_interface.cpp revision 735ca406
1