まさかのＦｒｅｅＲＴＯＳがバグ？

20130323

ユーザマニュアル

ユーザマニュアルのページ７３４「34.3.1.3.7 CONTROL register」にこんな事が書いてありました。
Remark: When changing the stack pointer, software must use an ISB instruction immediately after the MSR instruction. This ensures that instructions after the ISB execute using the new stack pointer. See Section 34.2.10.5 “ISB”