kernel_interface.cpp revision f0d93820
1