kernel_interface.cpp revision ed07b9c7
1