How to get a capability of a virtual address
17 Oct
2014
17 Oct
'14
5:21 a.m.
Hi All, In sel4, how can a process/thread get the capability of its virtual address? I know there is function vspace_get_cap(vspace_t *vspace, void *vaddr) But how can I know the current vspace the process/thread is in? Thank you very much. Yuxin
4177
Age (days ago)
4178
Last active (days ago)
5 comments
3 participants
participants (3)
-
Kevin Elphinstone -
Tim Newsham -
Yuxin Ren