kernel_interface.cpp revision 8c121d2c
1