kernel_interface.cpp revision 5167a807
1