kernel_interface.cpp revision eebdc855
1