= 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 support:
+ 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.
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 release): https://wiki.sel4.systems/seL4%201.0.0-rt-dev + *RT kernel manual* http://sel4.systems/Info/Docs/seL4-manual-1.0.0-rt-dev.pdf + *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 -b rt
Feedback on the API would be *extremely* valued.
Enjoy!
--
Anna Lyons Kernel engineer / PhD Student DATA61 | CSIRO E anna.lyons@nicta.com.aumailto:anna.lyons@nicta.com.au www.data61.csiro.auhttp://www.data61.csiro.au
CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.