1 Dec
2015
1 Dec
'15
10:36 a.m.
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:
________________________________
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.
>>>> "Corey" == Corey Richardson <corey(a)octayn.net> 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.