kernel_interface.cpp revision 4a31d30e
1