kernel_interface.cpp revision c530d46c
1