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