kernel_interface.cpp revision 4133750c
1