Hi all, I've just read about NetBSD's veriexec and I think it would be great to have it in OpenBSD. Is anyone working on porting/rewrite? If not, could you write why? Is it because some caveat in veriexec's design, not enough time, or just lack of developers' interest?
Thanks in advance, Merlyn
