kernel_sources = [
    files(
        'kernel.cpp'
    )
]

subdir('arch/' + arch)