2022-01-04 01:50:46 -05:00
|
|
|
kernel_sources = [
|
|
|
|
files(
|
|
|
|
'kernel.cpp'
|
|
|
|
)
|
|
|
|
]
|
|
|
|
|
2022-01-05 02:47:30 -05:00
|
|
|
kernel_includes = [
|
|
|
|
include_directories('include')
|
|
|
|
]
|
|
|
|
|
|
|
|
subdir('drivers/opensbi')
|
|
|
|
|
|
|
|
includes = [
|
|
|
|
# arch_includes,
|
|
|
|
kernel_includes
|
|
|
|
]
|
|
|
|
|
2022-01-04 01:50:46 -05:00
|
|
|
subdir('arch/' + arch)
|
|
|
|
|