search

seL4 / seL4_libs

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

allocman: Add missing calls to _end_operation #58

Closed kent-mcleod closed 1 year ago

kent-mcleod commented 2 years ago

If either allocman_configure_mspace_reserve or allocman_configure_utspace_reserve returns early it still needs to end the started operation otherwise the allocator will be left in an invalid state leading to it's watermarks never being refilled.