O Novo Release do DuinOS já está disponivel portanto do FreeRTOS 7.4.0
para as IDEs 1.5.3 do Arduino e 1.0.5