kernel_interface.cpp revision 0c48c437
1