kernel_interface.cpp revision b12d25d1
1