kernel_interface.cpp revision c8b7e818
1