Thanks for the update - looking forward to read the white paper! Julien.
On Thu, Jun 2, 2016 at 8:59 PM, Anna Lyons <[email protected]> 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 [email protected] 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
