Re: [Xen-devel] [PATCH] flask/policy: fix static device labeling examples

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 17.03.15 at 14:03, <julien.grall@xxxxxxxxxx> wrote:
> (CC Ian and Jan)

This is mostly about tools stuff:

>>  docs/misc/xsm-flask.txt                      | 31 +++--------------------
>>  tools/flask/policy/Makefile                  |  3 ++-
>>  tools/flask/policy/policy/device_contexts    | 32 +++++++++++++++++++++++
>>  tools/flask/policy/policy/modules/xen/xen.te | 38 
>> +++-------------------------
>>  4 files changed, 41 insertions(+), 63 deletions(-)

Hence I don't see why you ping me about it.

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel