So many of the best are missing. Eg from the L4 family with widest adoption and best HW support only the smallest SeL4 is present, but not OKL4, L4Re, Fiasco, L4Ka::Pistachio, L4/MIPS, WrmOS, Genode.
List of Open Source Real-Time Operating Systems
41–44 of 44 posts
Re: List of Open Source Real-Time Operating Systems
#42One way to deal with the many available operating systems is to use OSAL. It's an abstraction layer for embedded OS (and POSIX). Admittedly I have mixed feelings about it since it creates work when debugging in a new OS: you need to trace which OS call OSAL is using.
But the RTOS is already an abstraction layer around the hardware, how would adding another abstraction possibly help? It's not like you often find yourself in the situation where you want to run the same application on multiple RTOSes, it's usually way too specific to the device.
OSAL is written by NASA which do have that situation - NASA have systems they want to run on both Vxworks and RTEMS.
Re: List of Open Source Real-Time Operating Systems
#43I want to study OS dev. Linux seems to be pretty complicated. Which one from the list do you folks recommend to study?
Re: List of Open Source Real-Time Operating Systems
#44One of the listed ones, ChibiOS, is in the QMK firmware I use on my custom mechanical keyboards: https://docs.qmk.fm/#/