debugging kernel with gdb

[Jeff Hane]

Hello,

 I'm bringing up a new chip with an ARM1136 and trying to step thru the
code with gdb but because it's been optimized it's not working so well.
The code was being compiled with -O2 and -g.  I thought the obvious
thing to do is just change this to -O0 in the top level Makefile;
however this results in the following message.   

Error: selected processor does not support `ldrexb


 I'm trying to figure out if optimization can't be turned off or if I
have some issue with my toolchain. 

thanks,
jeff