kernel_interface.cpp revision 57b9debf
1