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