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?
