On Thu, 2024-12-12 at 13:29 +0000, Indan Zupancic wrote: > Hello, > > On 2024-12-12 12:42, Yanfeng Liu via Devel wrote: > > I noticed that `mdb_node_t` has `mdbPrev` and `mdbNext` pointer fields > > but > > not sure how can they be used to travel the capability derivation tree? > > The capability derivation tree is flattened into a list. > > The kernel knows whether a node is a child node or not > depending on the type and data of the cap and object. > Thank you, I think you are talking about `mdbNext` lists. I noticed `isMDBParentOf` can judge parent/child relationship. what other non-parent/child relationships are there in this `mdbNext` link?
Where can we find more information about the flattening? > Greetings, > > Indan Regards, yf _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
