kernel_interface.cpp revision 63db34c8
1