I noticed you had some discussions over at CodeSourcery about compilation failure due to the naked attribute. Basically, the xQueueSendFromISR() fails and produces a compiler error as:
uart/uart0ISR.cpp:66: internal compiler error: in expand_expr_addr_expr_1, at expr.c:6858
I’m having this problem and while I’m sure this is a CodeSourcery GCC issue (since GNUARM 4.3.2 works fine), I just wanted to find out if a resolution was reached. Apparently, the latest Lite version of CodeSourcery still has this problem. Is there something that can be done with FreeRTOS code to avoid this problem, or is this a bug that should be filed with CodeSourcery?