kernel_sources += files( 'string.c', )