kernel_interface.cpp revision feec20d6
1