1 files changed, 28 insertions, 0 deletions
diff --git a/results/classifier/108/other/1232 b/results/classifier/108/other/1232
new file mode 100644
index 000000000..a2377edd4
--- /dev/null
+++ b/results/classifier/108/other/1232
@@ -0,0 +1,28 @@
+device: 0.861
+graphic: 0.796
+performance: 0.645
+vnc: 0.616
+PID: 0.563
+semantic: 0.563
+other: 0.557
+permissions: 0.511
+debug: 0.507
+network: 0.409
+socket: 0.340
+boot: 0.284
+KVM: 0.231
+files: 0.153
+
+AArch64 virt can't write to memory related to gicv3
+Description of problem:
+According to the info in generated dtb, the memory-mapped registers of gicv3-distributor have a base addr, which is `0x0800_0000`.
+And I have checked the validity by reading `gicd_typer`, which means the base addr is right.
+
+But when I want to configure the gicv3-distributor (like changing `gicd_ctlr`), the value is not changed, keeping the default value. The same thing happens on any register of GICD in my machine.
+
+**Even I write to this memory by gdb `set` command, the value is also unchangeable.**
+
+The addr of `gicd_ctlr` should be `0x0800_0000`(offset=0), which should be readable and writable, isn't it?
+
+I try to modify the value of this addr in assembly as soon as the **machine starts, without enabling MMU**. 
+This problem should be easier to reproduce.