= 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.au<mailto:anna.lyons@nicta.com.au> www.data61.csiro.au<http://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.
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
On 3/06/2016 11:22 am, Christian Stroetmann wrote: I guess you are verifying it. Or are there any obstacles? It's on the roadmap: http://sel4.systems/Info/Roadmap/ We still need to decide how much of the RT kernel will make it into master though, perhaps not all of the features. Cheers -- Anna Lyons Kernel engineer / PhD Student DATA61 | CSIRO E anna.lyons@nicta.com.au<mailto:anna.lyons@nicta.com.au> www.data61.csiro.au<http://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.
Thanks for the update - looking forward to read the white paper! Julien. On Thu, Jun 2, 2016 at 8:59 PM, Anna Lyons <Anna.Lyons@nicta.com.au> wrote:
= 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.au 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.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
participants (3)
-
Anna Lyons -
Christian Stroetmann -
Julien Delange