On Mon, Nov 30, 2015 at 09:21:44AM +1100, 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! >
The manual on the website (http://sel4.systems/Info/Docs/seL4-manual.pdf) is out of date. Is there a different link for the manual, or should I build it from source? -- /cmr
signature.asc
Description: PGP signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
