kernel_interface.cpp revision e1b7c1c7
1