kernel_interface.cpp revision ba04be1d
1