Would it also be appropriate to point to the Writing Device Drivers book as required reading for any driver writer? Besides essential technical info, it includes some best practices -ish advice, as in chapters:
Considerations in Device Driver Design Choosing a Locking Scheme Defensive Programming Techniques for Solaris Device Drivers Debugging, Testing, and Tuning Device Drivers Recommended Coding Practices -Artem
