Is ChibiOS/RT Microkernel?

Discussions and support about ChibiOS/RT, the free embedded RTOS.
EeS
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.

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?

User avatar
Giovanni
Site Admin
Posts: 14444
Joined: Wed May 27, 2009 8:48 am
Location: Salerno, Italy
Has thanked: 1074 times
Been thanked: 921 times
Contact:

Re: Is ChibiOS/RT Microkernel?

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

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


Return to “ChibiOS/RT”

Who is online

Users browsing this forum: No registered users and 18 guests