kernel_interface.cpp revision cf5f64c1
1