tree 2b7b8f588d2b2f63dd431474d002b5682ba4f32b
parent 5bb4d746f05d11521c830d5d9849b5a1903855d9
author Nils Wistoff <nwistoff@iis.ee.ethz.ch> 1602258925 +0200
committer Kent McLeod <kent-mcleod@users.noreply.github.com> 1620990640 +1000

libsel4utils: Instruction fence after bootstrap

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$.

Signed-off-by: Nils Wistoff <nwistoff@iis.ee.ethz.ch>