kernel_interface.cpp revision 1da9f5ce
1