On Mon, 23 Sep 2019 at 19:51, Thomas Huth <th...@redhat.com> wrote: > It also sounds like CONFIG_ARM_V7M should rather be renamed to > CONFIG_ARM_MPROFILE or something similar?
Depends whether it's visible to end-users or not. If it is, a different name is probably more helpful; if it's just a symbol used in the QEMU source code/makefiles/etc then you might as well stick with the V7M naming convention we have for consistency with the C files. thanks -- PMM
