kernel_interface.cpp revision 6f7fc220
1