On Wed, 2024-12-04 at 21:49 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-02 02:56, Yanfeng Liu via Devel wrote:
> > > Figure 3.3 depicts an example CSpace. In order to illustrate these
> > > ideas,
> > we determine the address of each of the 10 capabilities in this CSpace.
> >
> > I g
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
On Thu, 2024-12-12 at 13:29 +, 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 capabilit
Dear experts,
I am trying to understand the memory usage of a running seL4 demo with help of
GDB.
I am wondering how I can travel the Capability derivation tree starting from
original untyped objects and see how memory are used.
I noticed that `mdb_node_t` has `mdbPrev` and `mdbNext` pointer fi
On Thu, 2024-12-12 at 13:29 +, 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 capabilit
