kernel_interface.cpp revision 7cec697c
1