Got through the seL4 Driver Definition Framework paper. It's still a work in progress, but it was very helpful.
I need to learn more about Microkit next, I guess.
This single-user wiki was generated with my own wiki engine and written in my own markup language.