I think there is. Every OS that exists is a mess. Make an OS whose inner workings I can undestand (and therefore are very well documented) while allowing to make commonly used software, and I will worship you.
I still think there's room for improving operating system security models, but I don't think it's possible to improve over OpenBSD in this particular dimension.