参考文献

关于多核OS实现

barrelfish OS, 一个"exploring how to structure an OS for future multi- and many-core systems. "的实验性操作系统, 以“multikernel”为特征, 在每个核(core)上都跑一个小内核(kernel). 也许可以从中参考多核OS的写法?

http://www.barrelfish.org/documentation.html

Real World Multicore Embedded Systems的Chapter6: operating systems in multicore platforms, 多核嵌入式系统的书里关于操作系统的部分, 先看一下.

https://github.com/Liurunda/riscv64-ucore/blob/master/references/ch6-os-in-multicore-platforms.pdf