kernel_interface.cpp revision 1fb138bf
1