offtop: books about RTOS and OS design?

[Denis Obrezkov]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/users/attachments/20170709/0cbda251/attachment.html>