kernel_interface.cpp revision f40c5e32
1