tree defaea8e563a282fbc63230175dba3c796ce0e1d
parent 9c0d209d67adda2558db28f5abbae994770d0340
author Axel Heider <axel.heider@hensoldt-cyber.de> 1623680803 +0200
committer Kent McLeod <kent-mcleod@users.noreply.github.com> 1624069569 +1000

libsel4bench: fix syntax errors for RISC-V rv32

Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>