i also did port it on freertos ,and it works great ,the sound is not workin yet, only thing left is that buzzer driver is not that good yet on freertos,i gess the frequency changing ,is related to the,clock frequency, i am using 36 MHZ maybe that is the problem with buzzer ,i will try it while configuring the core to 72 MHZ.