On Mon, 2017-07-03 at 14:03 +0300, Andrii Anisov wrote:
> - root@salvator-x-h3-xt:/scripts# xl sched-rtds -d DomU -v all -p
> 10000 
> -b 2500
>    (XEN) FLASK: Denying unknown domctl_scheduler_op: 2.
>    libxl: error: libxl_sched.c:663:sched_rtds_vcpu_set_all: Domain 
> 2:Setting vcpu sched rtds: Operation not permitted
>    libxl_vcpu_sched_params_set_all failed.
> 
Mmm... this looks to me to mean that we're missing the XSM/Flask bits
of XEN_DOMCTL_SCHEDOP_putvcpuinfo and XEN_DOMCTL_SCHEDOP_getvcpuinfo.

Meng, can you guys check (e.g., by building a Flask enabled hypervisor
and testing the basic functionalities of RTDS) and, if it actually does
not work, fix this?

It should be ok to test on x86, as I don't think this is something ARM
specific.

Regards,
Dario
-- 
<<This happens because I choose it to happen!>> (Raistlin Majere)
-----------------------------------------------------------------
Dario Faggioli, Ph.D, http://about.me/dario.faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)