On the 03.June.2016 02:59, Anna Lyons wrote:
First of all, I would like to say nice work.
= Latest experimental RT kernel released =
The RT kernel provides
+ periodic scheduling,
+ temporal isolation,
+ support for criticality and criticality mode changes,
+ temporal exceptions,
.. and more.
== Caveats ==
The RT kernel does not compile or run on all platforms, we currently
+ x86: ia32 platforms with TSC_DEADLINE mode
+ ARM: Sabre lite, Beagle board, and Odroid-xu (all armv7-a).
The RT kernel is not verified, and as such we provide no guarantees,
and there's likely still some bugs hiding in there.
I guess you are verifying it.
Or are there any obstacles?
The other platforms require driver work at user level
and in the
kernel. If you are keen to get a certain platform working,
contributions are welcome!
== Available ==
+ *Kernel branch* on github: https://github.com/seL4/seL4/tree/rt
+ *Release notes* (detailed API changes from current seL4 latest
+ *RT kernel manual*
+ *whitepaper* http://arxiv.org/abs/1606.00111
== Try it ==
Check out the rt branch of sel4test-manifest with repo:
$ repo init -u https://github.com/seL4/sel4test-manifest.git
Feedback on the API would be *extremely* valued.
Kernel engineer / PhD Student
DATA61 | CSIRO
CSIRO's Digital Productivity business unit and NICTA have joined forces to create
digital powerhouse Data61