So, I've setup scratchbox by following the instructions posted here:
http://wiki.maemo.org/CSSU-thumb_too...cc4.7.2-linaro)

How do I determine if my application is in fact compiled for thumb2? Any way to tell based on the executable produced or libraries linked? I am passing -mthumb.

I ask this because compiling atari800 v3.0.0 makes the executable about 50k bigger with thumb/gcc4.72-linaro, so I wonder if I have everything right or not. It does seem to make the emulator a bit faster (about 5% based on some quick and dirty tests).