kernel_interface.cpp revision 99768086
1