Yes, to be clear this is not meant to be a criticism of software quality at OpenBSD! Though I don't necessarily always agree with the leadership style I have big respect for their engineering efforts and obviously as another relatively niche UNIX I feel a certain kinship! That part of the document was also written some years ago, much closer to 2018 when that service got started than now, so it's conceivable that we wouldn't have said the same thing today.
I will say, though, that single VCPU guests would not have met our immediate needs in the Oxide product!
I will say, though, that single VCPU guests would not have met our immediate needs in the Oxide product!