kernel_interface.cpp revision 886d6531
1