kernel_interface.cpp revision b15ce386
1