arch_sources = [
    files(
        'entry.S'
    ),
    kernel_sources
]

subdir('platform/' + platform)