kernel_sources += files(
    'channel.c',
    'clock.c',
    'console.c',
    'elf.c',
    'futex.c',
    'irq.c',
    'namespace.c',
    'panic.c',
    'percpu.c',
    'print.c',
    'sched.c',
    'spin.c',
    'uacpi_glue.c',
    'vdso.c',
)