search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

libsel4utils: Fix documentation bug #33

Closed kent-mcleod closed 3 years ago

kent-mcleod commented 3 years ago

Update the documented order of the vspace_root parameter so that it matches the function signature

Signed-off-by: Kent McLeod kent@kry10.com

kent-mcleod commented 3 years ago

This PR is just https://github.com/seL4/seL4_libs/pull/16 but with an updated branch for rebase and sign-off checks passing