kernel_sources += [
    files(
        'opensbi.cpp',
        'extensions/legacy.cpp'
    ),
]

kernel_includes += include_directories(
    'include'
)