On the 03.June.2016 02:59, Anna Lyons wrote: Hello 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 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.
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 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 Eanna.lyons@nicta.com.au www.data61.csiro.au
CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61
Regards Christian Stroetmann