Yes. You can get the source as well. See http://www.openbsd.org/.
--MidLifeXis
In reply to Re^5: (OT?): Operating Systems by MidLifeXis in thread (OT?): Operating Systems by Andrew_Levenson