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.systems To unsubscribe send an email to devel-leave@sel4.systems
