kernel_interface.cpp revision 00405f22
1