it almost seems like zero copy design is a larger design principle that has to permeate how all user and kernel code is structured in order to really see the benefits.

i've been thinking about these sorts of things (kernel/user data barriers and high performance ipc) a lot lately as i've been wondering what a high performance, high security microkernel might look like.