a41dd48986
- handle it the same way as done for other kernels Fixes #3579 |
||
---|---|---|
.. | ||
core | ||
include | ||
kernel/nova | ||
lib | ||
test/platform | ||
timer/nova |
a41dd48986
- handle it the same way as done for other kernels Fixes #3579 |
||
---|---|---|
.. | ||
core | ||
include | ||
kernel/nova | ||
lib | ||
test/platform | ||
timer/nova |