kernel_interface.cpp revision 27fe0a4b
1