I am currently trying the RT branch and have some questions:
1. What emulator to use in order to try the examples? I am trying to use
x86 with qemu but it seems that it does not work. I got the following trace
at execution
Starting node #0
APIC: unsupported platform, TSC-deadline mode is not supported
seL4 called fail at
/home/sel4/camkes-sc-tests/kernel/src/arch/x86/kernel/boot_sys.c:451 in
function boot_sys, saying "boot_sys failed for some reason :(
So, is there an emulator (for any supported platform) to try it?
2. In the RT-camkes extensions, I have the following new attributes:
_period
_budget
_priority
What is the semantics of these attributes? Any information about them? How
they are supposed to be isolated from each other then? How to define the
scheduling plan for the system then? Also, how these attributes apply to
all thread: a thread is created for each interface of the component, so,
how can we then define the priority/budget of each thread? Do these
attributes apply to all the components of the thread?
Thanks for any help/clarification.
Julien.
assembly {
composition {
component Client client1;
component Client client2;
}
configuration {
client1._priority = 100;
client1._period = 10000;
client1._budget = 7500;
client2._priority = 50;
client2._period = 10000;
client2._budget = 7500;
}
}
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
