kernel_interface.cpp revision 057f999d
1