aboutsummaryrefslogtreecommitdiffstats
path: root/tools/flask/policy/Makefile
Commit message (Expand)AuthorAgeFilesLines
* flask: use DESTDIR directly in install target rulesVadim A. Misbakh-Soloviov2013-08-021-3/+3
* flask: avoid installing policy file as '/boot'Vadim A. Misbakh-Soloviov2013-08-021-0/+1
* flask/policy: rework policy build systemDaniel De Graaf2013-02-221-144/+59
* flask: move policy headers into hypervisorDaniel De Graaf2013-01-101-1/+1
* flask/policy: Policy build updatesDaniel De Graaf2012-02-021-53/+8
* docs: Update xsm-flask documentationDaniel De Graaf2012-01-101-1/+1
* Fix Makefile targets that generate several files at onceKeir Fraser2010-03-051-2/+4
* xsm: Add support for Xen device policiesKeir Fraser2009-10-271-1/+15
* tools/flask/policy: Updates to policy and policy build infrastructureKeir Fraser2009-08-201-125/+122
* Update Xen Flask module to policy.24.Keir Fraser2009-08-191-1/+1
* tools: clean up handling of xen config and scripts directories.Keir Fraser2009-05-191-1/+1
* xsm, flask: sample flask policyKeir Fraser2008-09-041-0/+234