subdir('exec')

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