On 17 September 2013 11:44, benno <be...@benno.id.au> wrote: > I'm not convinced the logic is correct.
It's not. There have been a few attempts by people to submit patches to this though, but none of them have actually been sufficiently convincing. See for instance http://lists.nongnu.org/archive/html/qemu-devel/2013-05/msg04546.html If somebody produces a patch which comes with a good rationale for its change (ie with reference to the architecture manual and to what QEMU means when it sets "CPSR_I" on M profile) I'll apply it. But because the v7M code is currently not really maintained and v7M interrupts are complex I'm reluctant to apply patches which only come with "seems to fix things for me" levels of justification. -- PMM
