[Xen-devel] [PATCH] libsepol: Fix building Xen policy with devicetreecon

2015-03-23 Thread Richard Haines
statement to CIL policy.cil and updated the CIL Reference Guide. Signed-off-by: Richard Haines --- libsepol/cil/docs/cil_xen_statements.xml | 44 libsepol/cil/src/cil_build_ast.c | 2 -- libsepol/cil/test/policy.cil | 1 + libsepol/src/policydb.c

Re: [Xen-devel] [PATCH v3 0/3] Xen/FLASK policy updates for device contexts

2015-03-23 Thread Richard Haines
    if (i == OCON_ISID) +            if (i == OCON_ISID || i == OCON_XEN_DEVICETREE)             free(ctmp->u.name);         free(ctmp);     } - Original Message - > From: Steve Lawrence > To: Richard Haines ; Daniel De Graaf > ; "seli...@tycho.nsa.gov&

Re: [Xen-devel] [PATCH v3 0/3] Xen/FLASK policy updates for device contexts

2015-03-20 Thread Richard Haines
epol, checkpolicy: add device tree ocontext nodes to > ___ > Selinux mailing list > seli...@tycho.nsa.gov > To unsubscribe, send email to selinux-le...@tycho.nsa.gov. > To get help, send an email containing "help" to > selinux-re