kernel_interface.cpp revision 01102ee5
1