kernel_interface.cpp revision a41d815c
1