@flyingsaceur@ioc.exchange I also switched to Ubuntu because it’s currently the best way to run a production riscv device right, now. You simply get you package updates in a usual way without recompiling everything on your own which takes a lot of time by cross-compile or even on native hardware. Not to mention the dev environment itself etc (but if you’re interested you can find a Debian and FreeBSD dev env als qemu image on my site).
Let me know your benchmark, I had a look at other listed vf2 boards and they were all more or less the same. Keep in mind that my benchmarks have been created on a non cooled vf2 rev 1.3b board at 20°C room temperature.