Switched to linaro toolchain because there is hard float support.
Using ARM SysTick as timer for OS.
Added STM's Standard peripheral library and ARM core header.