kernel_interface.cpp revision 823a2382
1