kernel_interface.cpp revision 9a84f57b
1