Giters

seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Home Page:https://docs.sel4.systems/Tutorials

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Question about seL4_ARCH_PageTable_Map() in the dynamic-2 TASK 4

mincheolsung opened this issue · comments

commented

Hi,

Why is the ipc_buffer_vaddr put in seL4_ARCH_PageTable_Map()?
ipc_buffer_vaddr is the virtual address of the new physical frame allocated for the IPC buffer.
I think seL4_ARCH_PageTable_Map's 3rd parameter is the virtual address of the page table frame.

Mincheol