search

SEL4PROJ / AOS

Advanced Operating Systems project
https://www.cse.unsw.edu.au/~cs9242/
19 stars 17 forks source link

Cspace fixes #18

Closed cmcl closed 1 month ago

cmcl commented 6 months ago

Fixing some bugs in the slot (de)allocation functions, and in the watermark refilling procedure.

This pull request also introduces a function to compute the current size of a cspace in terms of the number of allocated slots. It is utilised in the sos/src/tests.c:test_cspace function.

kevinelp commented 1 month ago

We cherry picked the fixes into a separate patch. Thanks. Closing.