[Xen-devel] [PATCH 0/8] XSM/FLASK updates part 2: booleans, stubdoms

[Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>]

This is a continuation of the previous 10-patch series updating the
FLASK XSM security module and supporting libraries/tools.

Bugfix:
[PATCH 1/8] xen/xsm: fix incorrect handling of XSM hook return

FLASK boolean addressing by name with tools:
[PATCH 2/8] xsm/flask: allow policy booleans to be addressed by name
[PATCH 3/8] libflask: Add boolean manipulation functions
[PATCH 4/8] flask: add flask-{get,set}-bool tools
[PATCH 5/8] flask/policy: Add boolean example

Device model stub domain support:
[PATCH 6/8] libxl: Add device_model_stubdomain_seclabel
[PATCH 7/8] flask/policy: add device model types to example policy

Cleanup:
[PATCH 8/8] xsm/flask: Improve domain ID auditing in AVCs

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel