kernel_interface.cpp revision bb6b4c50
1