Hello Jeff, On Mon, 2016-07-18 at 12:59 +1000, Jeff Waugh wrote: > Hey there, > > I noticed the wiki "latest" links now point to 3.2.0. I haven't seen > an announcement for 3.2.0 yet, so perhaps this is all a matter of > staging, We usually make an announcement when significant changes/additions are made(for instance, when realtime kernel release[1]). The bump in the version just denotes a change in API/ABI.
> but the current sel4test manifest points to 3.2.x-compatible tags > that don't exist in most of the repos. > Sorry about the goof up. I missed out on updating seL4_libs, capdl and musllibc for 3.2.x. I've fixed this now. Thank you very much for bringing it to our notice. > Just thought I'd mention it as I imagine it's the primary way people > acquire new releases. Since we don't announce API/ABI changes(version bumps), our releases are usually monitored by following the Github repo, which has a link to the release notes as well[2]. Thanks again! Cheers, ..Partha [1] - http://sel4.systems/pipermail/devel/2016-June/000831.html [2] - https://github.com/seL4/seL4/releases -- Partha Susarla <parthasarathi.susa...@nicta.com.au> ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
