Getting started with OpenBSD device driver development [pdf]openbsd.org119 pointsadamnemecek9 years ago