xsm: add device tree labeling support
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Tue, 17 Mar 2015 09:58:40 +0000 (10:58 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 17 Mar 2015 09:58:40 +0000 (10:58 +0100)
commit525ee49e2c3a3ec18a9b7cb8a93526777952e502
treef8810b50991abadd2c4f03511c99ddfc0f014d03
parent55d8c9c082e700a95077fe9005c6d179fccb4820
xsm: add device tree labeling support

This adds support in the hypervisor and policy build toolchain for
Xen/Flask policy version 30, which adds the ability to label ARM device
tree nodes and expands the IOMEM ocontext entries to 64 bits.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Tested-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
tools/flask/policy/Makefile
xen/include/public/xsm/flask_op.h
xen/xsm/flask/flask_op.c
xen/xsm/flask/include/security.h
xen/xsm/flask/ss/policydb.c
xen/xsm/flask/ss/policydb.h
xen/xsm/flask/ss/services.c