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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
