Merge branch 'develop'

Use updated toolchain which fixes warnings

Merge pull request #569 from xmos/develop

merge develop into main for release v0.12.0

merged with develop

Signed-off-by: keithm-xmos <35048036+keithm-xmos@users.noreply.github.com>

Merge branch 'main' into release/v0.10.0

Last commit before reorg to new voice and xcore SDKs

Merge pull request #60 from ThomasGmeinder/develop

Added instructions to build and run freertos/cifar10 on OSPREY-BOARD

Update CHANGELOG.rst

Jenkinfile seed (#6)

Integrated Jenkins CI