kernel_interface.cpp revision d40b4e0f
1