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.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.