kernel_interface.cpp revision 139bd32c
1