kernel_interface.cpp revision eb5f3639
1