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.