kernel_interface.cpp revision 8b018d9a
1