kernel_sources += [
    files(
        'opensbi.cpp',
        'extensions/legacy.cpp',
        'extensions/base.cpp',
        'extensions/timer.cpp',
        'extensions/ipi.cpp',
        'extensions/rfence.cpp',
        'extensions/hsm.cpp'
    ),
]

kernel_includes += include_directories(
    'include'
)