kernel_interface.cpp revision ed432e8e
1