kernel_interface.cpp revision 1a1a8f33
1