Mastering Linux Device Driver Development: Write custom device drivers to support computer peripherals in Linux operating systems

Operating Systems: Internals and Design Principles, 9/e

Embedded Systems: Real-Time Operating Systems for Arm Cortex M Microcontrollers

Fundamentals of Operating Systems

Looseleaf for Survey of Operating Systems 7e

Distributed Operating Systems & Algorithms

Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust)

Programming Robots with ROS: A Practical Introduction to the Robot Operating System

Operating System Forensics

Operating System Design: The Xinu Approach, Second Edition