kernel_interface.cpp revision f33c8f9c
1