kernel_interface.cpp revision f0c7cb8c
1