Hi all,
We've created a public wiki for seL4 development here:
https://wiki.sel4.systems/
The kernel team have put some effort into creating the initial content, but there is much more to be done.
Contributions encouraged!
New accounts are restricted to avoid spam, but if you have posted on this mailing list your account will be approved quickly. Otherwise contact us.
Thanks,
Anna Lyons
seL4 Kernel Engineer | PhD Student
DATA61 | CSIRO
E Anna.Lyons@data61.csiro.au
Level 3, K17 Building, UNSW Gate 14, Barker Street, Kensington, NSW, 2033 l Locked Bag 6016, Sydney NSW 1466
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.