Skip to content
API-experimental-01-03--release-2014-07-29
default avatar
gerwin.klein@nicta.com.au
50e219ec · Remove assertion left over from a time when reply caps could not be saved ·
Unverified 
seL4 open-source release on 29 July 2014 (experimental branch).

This signature certifies that the commits under this tag are the same as
in the internal NICTA repositories (up to sha1 collisions).