Hi Miriam, You should be able to reproduce the tutorial using this patch and applying it to "projects/sel4-tutorials": https://gist.github.com/Ivan-Velickovic/71a232a39d686b6a9cf33e83d9342086 Then you’ll need to clone OpenSBI and checkout v0.8 in the “tools” directory. From there, you should be able to run "./init —tut untyped —solution —plat spike”. Running the simulate script should print out a success message and so should the check script. I did not change anything in the solution code. Ivan On 17/05/2022, at 12:01 AM, inf19109@lehre.dhbw-stuttgart.demailto:inf19109@lehre.dhbw-stuttgart.de wrote: Hi Ivan, thanks for your fast reply and confirming that it actually works. However for me it's still not working. How did you manage to target the tutorial for Spike (which I'm also using as target platform)? And did you change any parameters of the function? Best regards, Miriam _______________________________________________ Devel mailing list -- devel@sel4.systemsmailto:devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systemsmailto:devel-leave@sel4.systems