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 -- [email protected] To unsubscribe send an email to [email protected]
