kernel_interface.cpp revision d63f4274
1