kernel_interface.cpp revision c7a72423
1