Re: [Xen-devel] [PATCH 3/5] flask/policy: Remove unused support for binary modules

2016-06-07 Thread Konrad Rzeszutek Wilk
On Mon, May 23, 2016 at 11:05:31AM -0400, Daniel De Graaf wrote: > Signed-off-by: Daniel De Graaf Reviewed-by: Konrad Rzeszutek Wilk with my very limited knowledge of the policy language. But it just looks to delete a lot and copy-n-paste the dflt_or_overr over. And none of these functions are

[Xen-devel] [PATCH 3/5] flask/policy: Remove unused support for binary modules

2016-05-23 Thread Daniel De Graaf
Signed-off-by: Daniel De Graaf --- .../policy/policy/support/loadable_module.spt | 166 - tools/flask/policy/policy/support/misc_macros.spt | 2 + 2 files changed, 2 insertions(+), 166 deletions(-) delete mode 100644 tools/flask/policy/policy/support/loadable_module.s