Release 2018-07-15

This release supports the BBC micro:bit. Note that the system tick is a centisecond, rather than the millisecond it is for other targets.

Additionally, you can control the interrupt, environment task, and default task stack sizes; see here.

An important change is that the supported FreeRTOS version is now 10.0.1, which has changed its licensing terms to an MIT license, which is definitely compatible with GPLv3 and the GCC Runtime Library Exception (the previous license was GPLv2 with FreeRTOS's own license exception terms).

The attached demo file testbed.hex can be dropped onto a micro:bit; it draws a spiral in the LEDs, button A toggles between slow and fast animation, button B toggles between spiralling in and out.