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
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
