WRITE_BUFFER_DISABLE support in makefile.
authorAdam Green <adamgr@foo.bar>
Mon, 11 Feb 2013 07:56:12 +0000 (23:56 -0800)
committerAdam Green <adamgr@foo.bar>
Mon, 11 Feb 2013 07:56:12 +0000 (23:56 -0800)
commit65eee97a300e740d3bbb41e745b183ad6545dfe8
treec625d27c2a3b3edc6395bc898cb024c6e0178390
parent60c34c05517c519f7ef9f7ab30fe929497049113
WRITE_BUFFER_DISABLE support in makefile.

Setting to WRITE_BUFFER_DISABLE to 1 will configure the MPU to disable
write buffering and eliminate imprecise bus faults.  Can make debugging
write faults easier.
gcc4mbed/build/gcc4mbed.mk
gcc4mbed/src/gcc4mbed.cpp
gcc4mbed/src/mpu.h [new file with mode: 0644]
makefile