On 23/09/2019 10.37, Philippe Mathieu-Daudé wrote: > Hi Thomas, > > On 9/21/19 5:04 PM, Thomas Huth wrote: >> We've got CONFIG_ARM_V7M, but it currently can't be disabled. >> Here are some patches that should allow to disable the switch >> (if the corresponding boards are disabled, too). > > What about the ARMv4/v5/v6/v7r?
We don't have config switches for these yet, do we? You started to introduce them in some of your TCG-disablement patches which are not merged yet, so that's something that should be addressed once they are merged, or directly in your series. Here, I wanted to provide you with these patches so that the arm_cpu_register() is available for your patches / later clean-up patches ... I mentioned that in the RFC cover letter (https://www.mail-archive.com/qemu-devel@nongnu.org/msg641907.html) but forgot to copy / update that paragraph for this cover letter here again :-/ Thomas
