kernel_interface.cpp revision 6a0798da
1