kernel_interface.cpp revision ab57ee42
1