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