I think that with the proper service infrastructure on top of their open source development model, OpenBSD could also bring in 200k on a 100k investment. But OpenBSD would have to be pushed and marketed as Docker has been, and the service side organized as a for-profit organization.