kernel_interface.cpp revision a4124725
1