1 # name
: attributes
for -march
=armv7
-a
+virt
3 # as
: -march
=armv7
-a
+virt
5 # This
test is only valid on EABI based ports
.
8 Attribute Section
: aeabi
12 Tag_CPU_arch_profile
: Application
14 Tag_THUMB_ISA_use
: Thumb
-2
15 Tag_DIV_use
: Allowed
in v7
-A
with integer division extension
16 Tag_Virtualization_use
: Virtualization Extensions