Closed niwis closed 3 years ago
On RISC-V platforms, perform an instruction fence after copying the text segment into a new vspace. We need to make sure the text segment is written back from the L1D$ to main memory and visible to the I$. The same mechanism is already implemented in libsel4utils/src/elf.c: https://github.com/seL4/seL4_libs/blob/70dd9243456da78d030fa13af6642ba080b703a2/libsel4utils/src/elf.c#L133-L136
On RISC-V platforms, perform an instruction fence after copying the text segment into a new vspace. We need to make sure the text segment is written back from the L1D$ to main memory and visible to the I$. The same mechanism is already implemented in libsel4utils/src/elf.c: https://github.com/seL4/seL4_libs/blob/70dd9243456da78d030fa13af6642ba080b703a2/libsel4utils/src/elf.c#L133-L136