On 6/14/21 6:04 PM, Peter Maydell wrote:
> Is this definitely right? The STM32F00 datasheet I found
> thinks it only has 61 external interrupts.

Yes you are right, I don't really known what I have done here. I will 
fix this in next patchset version.

To double-check, it is described page 131 of 
https://www.st.com/resource/en/reference_manual/cd00246267-stm32f100xx-advanced-arm-based-32-bit-mcus-stmicroelectronics.pdf

Thanks,
-- Alexandre