They posted this video, looks like they used `qemu-system-riscv64` to test.
Reply on news.ycombinator.com