kernel_interface.cpp revision a01dd963
1