kernel_interface.cpp revision 06cd40f3
1