Re: [seL4] RT branch questions

On 27 May 2016, at 3:55 , Julien Delange mailto:julien.delange@gmail.com> wrote: Also, any information about how to try/test it? How do you guys test the RT extensions? What emulator are you using for development purposes? The white paper should answer this. Hold tight for a week… Gernot ________________________________ 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.