I tried to generate a binary containing only ARM 32-bit ISA.
The toolchain I used is gcc-linaro-arm-linux-gnueabihf-4.7-2013.01-20130125_linux.
The compilation options are -O3 -mcpu=Cortex-A15 -marm -static.

I could get 32-bit ARM ISA for my own C code, but not the C lib functions, such as
strcpy. Is there a way to invoke 32-bit ARM ISA C library code?

Thanks,

Tien-Pao