kernel_interface.cpp revision 3c1cf7b2
1