kernel_interface.cpp revision a0bc9392
1