kernel_interface.cpp revision 7c234361
1