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

kernel_includes = [
    include_directories('include')
]

kernel_c_args = []
kernel_cpp_args = []
kernel_link_args = ['-nostdlib']

subdir('drivers/opensbi')
subdir('common/dtb')

includes = [
    kernel_includes
]

subdir('arch/' + arch)