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

kernel_includes += include_directories(
    'include'
)