kernel_interface.cpp revision 5d5bdb49
1