kernel_interface.cpp revision 88a25656
1