And it has a pipes implementation, which is saying something for how ascetic it is. It's only got a couple dozen syscalls total, and is smaller than sel4 at least in lines of code.