[seL4] Re: address of L1 CNode Cap

2024-12-12 Thread Yanfeng Liu via Devel
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

[seL4] Re: address of L1 CNode Cap

2024-12-04 Thread Indan Zupancic
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 guess the total number of 10 is made of 3 caps for CNode types and 7 for non-CNode on