kernel_interface.cpp revision 56b2feba
1