Как запустить risc-v бинарник собранный с newlib в QEMU?

Question

[random-guy]

В мануалах risc-v написано, как запустить hello world собранный с newlib в spike: spike pk hello. pk -- это proxy kernel.
Как запустить это же в risc-v QEMU?