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?
Is ChibiOS/RT Microkernel?
Is ChibiOS/RT Microkernel?
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?
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?
-
Giovanni
- Site Admin
- Posts: 14891
- Joined: Wed May 27, 2009 8:48 am
- Has thanked: 1202 times
- Been thanked: 996 times
Re: Is ChibiOS/RT Microkernel?
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
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