kernel_interface.cpp revision b24d4c8a
1