Hello yf,
On 2024-12-15 21:52, Yanfeng Liu wrote:
I was wondering how to get total unused space of an untyped object? My
understanding is to follow the linked list from the untyped and sum up
free
space of all encountered untyped nodes. is this the right approach?
That would work, but is overly complicated. The UT cap has a field
capFreeIndex which says from where on the memory is free. That
together with the size of the UT found in capBlockSize gives you
enough information.
thanks, now I take that two adjacent nodes in mdbNext linked list
should be
either `parent-child` or `sibling` relationship, right?
No, because there is only one tree and the depth of the tree can
be more than 3 deep. Have a look at Figure 3.1: "Example capability
derivation tree" in the manual.
Thank you Indan, you have been very helpful.
You're welcome.
Indan
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
