Running the images only including the IPC Benchmark with the given simulate script (with added --enable-kvm) is also showing the
libsel4muslcsys: Error attempting syscall 228 libsel4muslcsys: Error attempting syscall 96 errors. I am pretty sure I allready ran that without getting this error though. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems