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(a)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