kernel_interface.cpp revision dea4ee19
1