kernel_interface.cpp revision 2f03ff09
1