The verdict is in. DARPA ceased funding OpenBSD because it «enables terrorist nation-states».
More information at the OpenBSD Journal and The Daily Pennsylvanian.
So, does this mean that DARPA will also look askance at TrustedBSD, a FreeBSD experimental fork?
