kernel_interface.cpp revision 396f6e29
1