[seL4] Re: Question about sel4-tutorial dynamic-2 and dynamic-3

Hi, As for the 1st question, all memory mapping functions accept virtual address of the memory region to be mapped, as the 3rd parameter. Tutorial "Mapping" allows to play with the API. (https://docs.sel4.systems/Tutorials/mapping.html) Nataliya