kernel_interface.cpp revision 20d84995
1