• MINIX Book — Operating Systems Design and Implementation
• Linux Kernel Programming: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization 2nd ed. Edition