kernel_interface.cpp revision 992fba36
1