Quantum
dbfd13630d
NOTE: I didn't switch to the new functions in the kernel because for some reason we get a page fault when trying to fetch the first instruction of set_timer(addi sp, sp, -48). I doubt this is related to the set_timer funcion itself and is instead some kind of paging or linking problem because it works fine with paging disabled and really just doesnt make sense.
12 lines
215 B
Meson
12 lines
215 B
Meson
kernel_sources += [
|
|
files(
|
|
'opensbi.cpp',
|
|
'extensions/legacy.cpp',
|
|
'extensions/base.cpp',
|
|
'extensions/timer.cpp'
|
|
),
|
|
]
|
|
|
|
kernel_includes += include_directories(
|
|
'include'
|
|
)
|