kernel_interface.cpp revision ff2a7d86
1