offtop: books about RTOS and OS design?

[Gedare Bloom]

>From the classical RTOS perspective I like "Real-Time Systems" by Jane
Liu, which gives a good balance of theory and practice. You might also
try checking out "Real-Time Concepts for Embedded Systems" by Li and
Yao, "Real-Time Embedded Systems – Open-Source Operating Systems
Perspective" by Cibrario Bertolotti and Manduchi, and "Embedded
Systems: Real-Time Operating Systems for ARM Cortex-M
Microcontrollers" by Valvano. I don't know that any of them
particularly cover time- and space-separation, however.

On Sun, Jul 9, 2017 at 9:32 AM, Denis Obrezkov <denisobrezkov at gmail.com> wrote:
> Hello all,
>
> I want to read some advanced books about RTOS and OS design.
> I have read books about real-time systems and OSes in general,
> like Tanenbaum's one and Kopetz'es.
> But may be there are more advanced and recognized books which
> for example covers the topics of time and space separated systems
> like in ARINC 653? may be some books about best practices in real-time
> systems design and implementation?
>
> --
> Regards, Denis Obrezkov
>
> _______________________________________________
> users mailing list
> users at rtems.org
> http://lists.rtems.org/mailman/listinfo/users