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 [email protected]<mailto:[email protected]> 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.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
