kernel_interface.cpp revision 6106f57e
1