Thanks for the bug report and the test program. The fix seems straightforward
-- just adjust what we return for the register value. I've sent a patch:
http://patchwork.ozlabs.org/patch/1013034/
** Changed in: qemu
Status: New => In Progress
--
You received this bug notification because you are a member of qemu-
devel-ml, which is subscribed to QEMU.
https://bugs.launchpad.net/bugs/1806824
Title:
SIE-200 (TrustZone) MPC: BLK_MAX returns an incorrect value
Status in QEMU:
In Progress
Bug description:
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.
To manage notifications about this bug go to:
https://bugs.launchpad.net/qemu/+bug/1806824/+subscriptions
