kernel_interface.cpp revision 694cb0b2
1