Embedded Operating Systems

Official Documentation

"A Survey of Embedded Operating Systems" by S. Baskiyar and N. Meghanathan (2005)
Link
"Embedded Operating Systems for the Internet of Things" by Oliver Hahm et al. (2016)
Link
"A Survey on Operating Systems for Tiny Networked Sensors" by Xiaofan Jiang et al. (2004)
Link

"Making Embedded Systems" by Elecia White
ISBN: 1449302149
Provides practical guidance on designing and programming embedded systems.
"Programming Embedded Systems" by Michael Barr and Anthony Massa
ISBN: 0596009836
Covers the fundamentals of embedded systems programming with a focus on practical applications.
"Real-Time Embedded Systems" by Xiaocong Fan
ISBN: 0128015071
Explores the principles and practices of designing real-time embedded systems.
"Embedded Systems Architecture" by Tammy Noergaard
ISBN: 0123821967
Offers a comprehensive view of embedded systems architecture and design processes.

POSIX (IEEE 1003.1-2017)
Relevant for embedded systems that aim for POSIX compliance
MISRA C:2012
Guidelines for the use of the C language in critical systems, often applied in embedded systems

edX: Embedded Systems - Shape The World: Microcontroller Input/Output
Link
Coursera: Introduction to Embedded Systems Software and Development Environments
Link
Udemy: Embedded Systems Programming on ARM Cortex-M3/M4 Processor
Link