kernel_interface.cpp revision 31ee3b53
1