kernel_interface.cpp revision a4e05e61
1