>>>> "Corey" == Corey Richardson
Corey> Anna Lyons wrote:
> See the 2.0.0 manual included in the release for
> descriptions of the new features. Or ask on this mailing list!
Corey> The manual on the website
) 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
Software Systems Research Group/NICTA/Data61