kernel_interface.cpp revision 7bfa4fe8
1