kernel_interface.cpp revision b2ec044c
1