Hello. I've recently written what is, to my knowledge, the first set of Ada bindings for pledge and unveil. I've provided these in this OpenBSD package you may find here:
http://verisimilitudes.net/2019-07-27 I'm not certain if any of you would be interested in packaging this with the default OpenBSD GNAT installation, but I'm making you aware of it in case you'd be interested by this. I'll continue maintaining this as the mechanisms change or are updated, in any case.
