kernel_interface.cpp revision 05826ec7
1