I have one of these boards now so could create a demo that targets it specifically - however the kernel code will be exactly the same as the STM32F1xx devices, so you could create your own project re-targeting an existing STM32 demo (to have the correct memory map, etc.).
waiting for the official FreeRTOS port by Richard, I made a simple demo of FreeRTOS running on STM32F2 series. It is based on Eclipse + GCC.
Find it at the following link: www.stf12.org
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.