kernel_interface.cpp revision 17d87ddf
1