kernel_interface.cpp revision ae527df3
1