kernel_interface.cpp revision 88e38c17
1