>>>>> "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. -- Dr Peter Chubb http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
