kernel_interface.cpp revision ce4e12ca
1