On Wed, 2024-12-04 at 21:49 +0000, 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 guess the total number of 10 is made of 3 caps for CNode types and 7 > > for > > non-CNode ones A~G as shown in diagram. However, in the following > > graph, > > the address of the L1 CNode Cap is missed. > > > > Thus I am curious what the address for that L1 CNode Cap? > > L1 is the CSpace root cap bound to the TCB, it has no address. > It is where the address lookup starts and defines the CSpace. > > The documentation could be improved, it's on my TODO list. > > Greetings, > > Indan
Thank you Indan, this sounds reasonable. Regards, yf _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
