Hello! Genode,<br><br>From time to time, I saw something like this:<br><br>    l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP,<br>                        l4_obj_fpage(A.dst(), 0, L4_FPAGE_RWX),<br>                        B.dst() | L4_ITEM_MAP);<br>
<br>I think it looks like a unnecessary mapping, because rather than mapping, we can just copy the capability like this,<br>    A = B.<br><br>Since I&#39;m feeling like I miss something here, could you tell me the difference between two of them?<br>
<br>Best regards,<br>Jaeyong<br>