kernel_interface.cpp revision 30294b6d
1