[seL4] Re: sel4bench grub iso

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.