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