kernel_interface.cpp revision bf5d0ce3
1