kernel_interface.cpp revision 743b3f15
1