kernel_interface.cpp revision 85d9d600
1