kernel_interface.cpp revision b43e064e
1