>>> On 22.05.15 at 16:58, wrote:
> On 05/22/2015 05:40 AM, Jan Beulich wrote:
> On 13.05.15 at 11:49, wrote:
>>> --- a/xen/include/xsm/dummy.h
>>> +++ b/xen/include/xsm/dummy.h
>>> @@ -193,6 +193,13 @@ static XSM_INLINE int
> xsm_memory_exchange(XSM_DEFAULT_ARG struct domain *d)
>>> re
"Jan Beulich" writes:
On 13.05.15 at 11:49, wrote:
>> --- a/xen/include/xsm/dummy.h
>> +++ b/xen/include/xsm/dummy.h
>> @@ -193,6 +193,13 @@ static XSM_INLINE int
>> xsm_memory_exchange(XSM_DEFAULT_ARG struct domain *d)
>> return xsm_default_action(action, current->domain, d);
>> }
>
On 05/22/2015 05:40 AM, Jan Beulich wrote:
On 13.05.15 at 11:49, wrote:
--- a/xen/include/xsm/dummy.h
+++ b/xen/include/xsm/dummy.h
@@ -193,6 +193,13 @@ static XSM_INLINE int xsm_memory_exchange(XSM_DEFAULT_ARG
struct domain *d)
return xsm_default_action(action, current->domain, d);
}
>>> On 13.05.15 at 11:49, wrote:
> --- a/xen/include/xsm/dummy.h
> +++ b/xen/include/xsm/dummy.h
> @@ -193,6 +193,13 @@ static XSM_INLINE int
> xsm_memory_exchange(XSM_DEFAULT_ARG struct domain *d)
> return xsm_default_action(action, current->domain, d);
> }
>
> +static XSM_INLINE int xsm
On 05/21/2015 05:49 AM, Vitaly Kuznetsov wrote:
Daniel De Graaf writes:
On 05/13/2015 05:49 AM, Vitaly Kuznetsov wrote:
Dummy policy just checks that the current domain is privileged,
in flask policy soft_reset is added to create_domain.
Signed-off-by: Vitaly Kuznetsov
I think the FLASK p
Daniel De Graaf writes:
> On 05/13/2015 05:49 AM, Vitaly Kuznetsov wrote:
>> Dummy policy just checks that the current domain is privileged,
>> in flask policy soft_reset is added to create_domain.
>>
>> Signed-off-by: Vitaly Kuznetsov
>
> I think the FLASK policy should also check that memory c
On 05/13/2015 05:49 AM, Vitaly Kuznetsov wrote:
Dummy policy just checks that the current domain is privileged,
in flask policy soft_reset is added to create_domain.
Signed-off-by: Vitaly Kuznetsov
I think the FLASK policy should also check that memory can be moved
from d1 to d2, independent
Dummy policy just checks that the current domain is privileged,
in flask policy soft_reset is added to create_domain.
Signed-off-by: Vitaly Kuznetsov
---
tools/flask/policy/policy/modules/xen/xen.if | 2 +-
xen/common/memory.c | 4
xen/include/xsm/dummy.h
