kernel_interface.cpp revision e0c80398
1