kernel_interface.cpp revision 533cba7e
1