sel4-tutorials icon indicating copy to clipboard operation
sel4-tutorials copied to clipboard

Published 20 hours ago • verified publisher icon seL4

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

Open mincheolsung opened this issue 2 years ago • 0 comments

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

mincheolsung avatar Dec 26 '22 17:12 mincheolsung