kernel_interface.cpp revision feea3738
1