Вкл. (3) изолированно: не нужно выбирать, просто создайте толстый двоичный файл с кодом как ARM6, так и ARM7, что в любом случае является поведением по умолчанию. Использование инструкций большого пальца зависит от того, что ваша программа делает большую часть времени - ARMv6 Thumb не содержит операций с плавающей запятой, поэтому там стоит немалая плата за математику с плавающей запятой. И наоборот, если вы совсем не занимаетесь математикой с плавающей запятой, гораздо разумнее оставить режим «большого пальца» и сэкономить на пропускной способности памяти и размере кеша. ARMv7 Thumb содержит операции с плавающей запятой.
В вашем проекте: проверьте настройку «Архитектуры». Скорее всего, это будет Standard (arm6 arm7), который будет производить двоичный файл с жирным шрифтом.
Чтобы установить режим большого пальца (или любой другой параметр) для каждой архитектуры, выберите его в окне «Информация о цели», щелкните маленький значок в левом нижнем углу и выберите «Добавить условие настройки сборки». Затем вы можете установить значение, которое применяется для этого параметра для конкретной комбинации SDK и архитектуры. Поэтому, если вы дифференцируете по целевому семейству процессоров, вам нужно сделать это дважды, добавив одно значение для «Any SDK» с помощью «ARMv6» и одно для «Any SDK» с помощью «ARMv7».