Is ChibiOS/RT Microkernel?

Discussions and support about ChibiOS/RT, the free embedded RTOS.
Posts: 1
Joined: Thu Jan 10, 2019 6:22 am

Is ChibiOS/RT Microkernel?

Postby EeS » Thu Jan 10, 2019 7:42 am

wikipedia says ChibiOS is the Microkernel.


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?

User avatar
Site Admin
Posts: 11860
Joined: Wed May 27, 2009 8:48 am
Location: Salerno, Italy
Has thanked: 524 times
Been thanked: 437 times

Re: Is ChibiOS/RT Microkernel?

Postby Giovanni » Thu Jan 10, 2019 8:38 am


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.


Return to “ChibiOS/RT”

Who is online

Users browsing this forum: No registered users and 1 guest