13 Sep
2016
13 Sep
'16
7:26 p.m.
Hello, I've got several questions. 1. Is there a simple way to relate a virtual address in the initial threads address space to the corresponding frame cap in the BootInfo? 2. In 8.2.2 of the manual it is stated in that "seL4 provides no way to obtain the physical address of a page from its capability". Isn't that exactly what the GetAddress method of a Page object does(10.4.14)? Cheers, Steve
3479
Age (days ago)
3480
Last active (days ago)
2 comments
3 participants
participants (3)
-
Adrian.Danis＠data61.csiro.au -
Gerwin.Klein＠data61.csiro.au -
sixpackgurkenwasser＠use.startmail.com