Re: [seL4] seL4 2.0.0 Release Notes

1 Dec 2015

      ...
...
...
...
...
"Corey" == Corey Richardson  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.

-- 
Dr Peter Chubb				         http://www.data61.csiro.au
http://www.ssrg.nicta.com.au   Software Systems Research Group/NICTA/Data61