kernel_interface.cpp revision 082bae1aa58dd0021d69aaa2dc05de7b33b75854
1