start of capBAC verification implementation This code is entirely untested. It compiles, and should "work" according to my understanding of the used APIs, but is almost certainly full of bugs at this point, and doesn't actually do anything.
start of capBAC verification implementation
This code is entirely untested. It compiles, and should "work" according to my understanding of the used APIs, but is almost certainly full of bugs at this point, and doesn't actually do anything.

jtracey/cuddly-fiesta,jtracey/cuddly-fiesta,jtracey/cuddly-fiesta