kernel_interface.cpp revision 8566c721
1