kernel_interface.cpp revision 4ac4d15c
1