Hi David,
On 09/09/2014 08:07 AM, David Scott wrote:
I've been looking at this merge again this week and wondering if
there are any updates on getting the XenStore security features
hooked up in this repository. I'd really like to get the MAC
patches into shape to be considered for merging as soon as possible
into whichever Mirage-based XenStore will likely be used by the
community going forward.
As for the interface, I have a first pass at something in this
forked repository:
https://github.com/GaloisInc/ocaml-xenstore-server
Specifically, the 'server/security.mli' module.
This isn't final yet, and the rest of the changes are pretty
incomplete, but the general idea is to add another module parameter
for a security interface (at least for MAC, maybe use it for the DAC
as well?). I'd certainly appreciate any feedback you have on this
design.