kernel_interface.cpp revision 01f28a0a
1