kernel_interface.cpp revision 9d242fb9
1