1 Dec
2015
1 Dec
'15
1:49 a.m.
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