kernel_interface.cpp revision cf5f513b
1