address of L1 CNode Cap
Dear experts, When reading section 3.3.2 of the latest seL4 manual, it says:
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? Regards, yf
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
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
participants (2)
-
Indan Zupancic -
Yanfeng Liu