kernel_interface.cpp revision 042eb168
1