[saubeidl]

I think the kernel is really an implementation detail. The user space would be mostly the same between all of the open source posix OSes.