kernel_interface.cpp revision 76a8ec23
1