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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
