kernel_interface.cpp revision 12d359b8
1