Dear<br><br>Now I am tracing the source code of cpu reservation server in l4/pkg/cpu_reserve directory. And I got several questions...<br><br>1. The bottom of cpu reservation server is implemented by l4_rt_add_timeslice(), l4_rt_set_period(), l4_rt_begin_strictly_periodic() functions. And these functions are defined in <br>
     l4/pkg/l4sys/include/ARCH-x86/rt_sched-impl.h<br>which calls l4_rt_generic() function.<br><br>Function l4_rt_generic() is implemented by inline assembly, and it seems to call the system call &quot;thread_schedule&quot;.<br>
     Because these functions only appears in ARCH-x86 directory, do they support on ARM architecture?<br>     If not, how can I implement similar behaviors of these functions?<br>     Where can I find the document about the L4 system call API ? I can&#39;t really understand the behavior of these functions.<br>
<br>2. When system contains three user threads, I want to control Fiasco scheduler not to schedule one thread in these three threads during one time interval. How can I implement it? <br>    The simplest way seems to control this thread into un-running state. How can I achieve this by a supervisal server?<br>
<br>I&#39;m sorry for my poor English and lengthy question.<br>I&#39;m glad if you give me some hints or corrections.<br><br>Thanks a lot!<br><br>Best Regards,<br>Sean<br>