Page 1 of 1

Is ChibiOS/RT Microkernel?

Posted: Thu Jan 10, 2019 7:42 am
by EeS
wikipedia says ChibiOS is the Microkernel.

Image
Image

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 include same binary.

Of course I might be wrong.

someone could you help me?

Re: Is ChibiOS/RT Microkernel?

Posted: Thu Jan 10, 2019 8:38 am
by Giovanni
Hi,

While it does not usually implement a kernel/user space separation it has been used also that way. You can do separation on top of RT, it is just not really required for an OS running on MCUs.

An example is ChibiOS/RT running in trust zone on a Cortex-A with a Linux kernel running in non-trusted space, the two OSes can communicate using an API.

Giovanni