kernel_interface.cpp revision e36a5442
1