Re: [seL4] 3.2.0 release issues?

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.

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

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. 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 ________________________________ 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.