arch_sources = [
files('entry.S'),
kernel_sources
]
arch_cpp_args = kernel_cpp_args
arch_link_args = kernel_link_args
subdir('platform/' + platform)