wikipedia says ChibiOS is the Microkernel.
https://i.imgur.com/cZN1PIr.png
https://i.imgur.com/HVFaB8S.png
But, I think it cannot be Microkernel. Because, it dose not have the "User Mode", so it could not separate kernel and driver.
And, ChibiOS's drivers are ...
Search found 1 match
- Thu Jan 10, 2019 7:42 am
- Forum: ChibiOS/RT
- Topic: Is ChibiOS/RT Microkernel?
- Replies: 1
- Views: 3168