The 2.0.0 manual is now available here: http://sel4.systems/Info/Docs/seL4-manual-2.0.0.pdf
Cheers, Anna. On 1/12/2015 7:42 am, Peter Chubb wrote: >>>>>> "Corey" == Corey Richardson <[email protected]> writes: > > Corey> Anna Lyons wrote: >>> See the 2.0.0 manual included in the release for detailed >>> descriptions of the new features. Or ask on this mailing list! >>> > > Corey> The manual on the website > Corey> (http://sel4.systems/Info/Docs/seL4-manual.pdf) is out of > Corey> date. Is there a different link for the manual, or should I > Corey> build it from source? > > Build it from source for now. A new version will be going on > sel4.systems by the end of this week. > ________________________________ 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
