kernel_interface.cpp revision 764ca477
1