Introduction to I/O Kit Device Driver Design Guidelines
Chapter 1 The libkern C++ Runtime
Chapter 2 libkern Collection and Container Classes
Chapter 3 The IOService API
Chapter 4 Making Hardware Accessible to Applications
Chapter 5 Kernel-User Notification
Chapter 6 Displaying Localized Information ...
