kernel_sources += files(
    'channel.c',
    'dispatch.c',
    'handle.c',
    'log.c',
)