docetOS

Imlementation of a simple real time operating system for the STM32F407 board, with a fixed priority task scheduler, sleeping and task waiting and a queue based task communication system.