kernel_interface.cpp revision 45a52467
1