j
k
j a
j l
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
Back to the thread
Back to the list