kernel_interface.cpp revision f0d7e656
1