kernel_interface.cpp revision cc32c484
1