kernel_interface.cpp revision 3472fc55
1