Personally, I’m not interested in making device drivers look like user-level. They aren’t, they shouldn’t be, and microkernels are just stupid.