kernel_interface.cpp revision 8d3a8691
1