1 files changed, 44 insertions, 0 deletions
diff --git a/results/classifier/105/mistranslation/2467 b/results/classifier/105/mistranslation/2467
new file mode 100644
index 000000000..17f954f7b
--- /dev/null
+++ b/results/classifier/105/mistranslation/2467
@@ -0,0 +1,44 @@
+mistranslation: 0.310
+graphic: 0.264
+device: 0.255
+instruction: 0.179
+socket: 0.143
+boot: 0.138
+semantic: 0.132
+network: 0.128
+other: 0.111
+vnc: 0.102
+assembly: 0.057
+KVM: 0.022
+
+OpenSBI 1.5 packaged in QEMU 9.0.50 fails to support poweroff with 'spike' board
+Steps to reproduce:
+Build upstream U-Boot:
+
+- git clone https://source.denx.de/u-boot/u-boot.git
+- cd u-boot
+- make qemu-riscv64_smode_defconfig
+- CROSS_COMPILE=riscv64-linux-gnu- make
+
+Run U-Boot and execute poweroff command
+
+- qemu-system-riscv64 -kernel u-boot.bin
+- poweroff
+
+Poweroff fails.
+
+When building upstream OpenSBI v1.5 with 
+
+- git clone https://github.com/riscv-software-src/opensbi.git
+- cd opensbi
+- git reset --hard v1.5
+- CROSS_COMPILE=riscv64-linux-gnu- make PLATFORM=generic
+
+and then running
+
+- qemu-system-riscv64 -bios fw_dynamic.bin -kernel u-boot.bin
+- poweroff
+
+poweroff succeeds.
+
+Please, distribute an unpatched OpenSBI v1.5 with QEMU.