Closed boydm closed 3 years ago
Hi @boydm, Thanks for fixing this! In order for me to be able to merge these changes we will need a signed CLA from you or your organisation.
If this commit is still valid, please consider rebasing it and then sign it off, see https://docs.sel4.systems/processes/contributing.html, there is no longer a need for a CLA.
Replaced by https://github.com/seL4/seL4_libs/pull/33
update the documented order of the vspace_root parameter so that it matches the function signature.