kernel_interface.cpp revision 01338285
1