Once more, with feeling... Patch 1 has been posted previously, but has accumulated another bugfix.
Patch 2 has been discussed on list, but this is the first posting. I've confirmed that it fixes the issue reported by OSSTest. Andrew Cooper (2): tools/libxl: Fixes to libxl__domain_set_paging_mempool_size() xen/flask: Wire up XEN_DOMCTL_{get,set}_paging_mempool_size tools/flask/policy/modules/dom0.te | 3 ++- tools/flask/policy/modules/xen.if | 2 +- tools/libs/light/libxl_dom.c | 10 +++++++++- xen/xsm/flask/hooks.c | 6 ++++++ xen/xsm/flask/policy/access_vectors | 4 ++++ 5 files changed, 22 insertions(+), 3 deletions(-) -- 2.11.0