3 ms·
rcore-os [0] uses a rust-lang port of zircon [1], the kernel that fuschia-os uses. zircon isn't quite a microkernel, but is pretty close to one [2]. FreeRTOS [
by ignoramous 4y ago
rcore-os [0] uses a rust-lang port of zircon [1], the kernel that fuschia-os uses. zircon isn't quite a microkernel, but is pretty close to one [2].
FreeRTOS [3] bundles in a microkernel [4].
Speaking of FreeRTOS, you may also be interested in Riot OS developer's blog entry on building a (micro?) kernel [5].
[0] https://github.com/rcore-os/rCore https://github.com/rcore-os/rCore
[1] https://github.com/rcore-os/zCore https://github.com/rcore-os/zCore
[2] https://archive.is/Y49Ih https://archive.is/Y49Ih
[3] https://github.com/FreeRTOS/FreeRTOS-Kernel https://github.com/FreeRTOS/FreeRTOS-Kernel
[4] https://archive.is/u8Hsw https://archive.is/u8Hsw
[5] https://archive.is/0MHF1 https://archive.is/0MHF1
- pantalaimon 4y agoIMHO it's very misleading to call those RTOS kernels microkernels. There is no address space isolation, it's more like a unikernel - there is no privilege separation.