I have uploaded a working demo of FreeRTOS running on the PandaBoard. This demo uses one of the Cortex-M3 processors on the OMAP4430 (i.e. not the main processing units) to flash LED D2.
It has been tested using the Code Sourcery GCC compiler on a PandaBoard-ES, although it should work with any GCC compiler and on non-ES board versions (although the clock frequency may be different?).
The code can be downloaded from GitHub:
Any feedback welcome.