diff options
Diffstat (limited to 'results/classifier/accel-gemma3:12b/kvm/1806824')
| -rw-r--r-- | results/classifier/accel-gemma3:12b/kvm/1806824 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/results/classifier/accel-gemma3:12b/kvm/1806824 b/results/classifier/accel-gemma3:12b/kvm/1806824 new file mode 100644 index 000000000..36e699547 --- /dev/null +++ b/results/classifier/accel-gemma3:12b/kvm/1806824 @@ -0,0 +1,10 @@ + +SIE-200 (TrustZone) MPC: BLK_MAX returns an incorrect value + +Version: +$ qemu-system-arm --version +QEMU emulator version 3.0.92 (v3.1.0-rc2-31-gd522fba244) + +Arm SIE-200 Technical Reference Manual describes that BLK_MAX indicates the maximum value of "block based index register" (BLK_IDX). For example, the value 1 would indicate that BLK_IDX can be 0 or 1. According to my experiments, the AN505 FPGA image apparently follows this behavior. + +In the current implementation of QEMU, it appears to indicate the number of possible values for BLK_IDX, i.e., one plus the value it's supposed to return. \ No newline at end of file |