Recommended board for a FreeRTOS newbie

I’m new and wanting get started experimenting with FreeRTOS. Can anyone recommend an inexpensive ( < $100 ) board that’s known to work well with FreeRTOS and will be relatively easy to bootstrap from a gcc tool chain on a GNU/Linux box? I work with AVR and Arduinos all the time from my Fedora GNU/Linux box using avrdude and gcc, so maybe an AVR-based board that has an existing FreeRTOS port? Thanks!

Recommended board for a FreeRTOS newbie

Not an AVR, but the LPCXpresso is only about $30 and has a free IDE and compiler. You don’t even need a jtag as a debugger interface is built in. It doesn’t have any interfaces but a single LED, but you can add a base board with lots of interfaces later if you like it.