File	Date	Author	Commit
arduino-due	2017-07-14	Simon Wright	[63750a] Update for FreeRTOS 9.0.0.
arduino-due-bsp	2016-03-01	Simon Wright	[75b3ed] Allo optimisation control in Arduino BSP.
bsp-common	2016-01-08	Simon Wright	[709f49] Assigned copyright to FSF (for RTS, BSP & test ...
common	2017-07-23	Simon Wright	[10f3d5] Recovering from bad commit 2017-07-22.
compiler-dummy-rts	2015-04-30	Simon Wright	[e4deea] Added dummy RTS for compiler builds.
demo-stm32f429i-disco-bsp	2015-08-01	Simon Wright	[35365b] Various cleanups for tests, demos, distribution.
demo-stm32f429i-disco-rtos	2016-01-07	Simon Wright	[b6ee08] Use STM32Cube_FW_F4_V1.10.0. Updated copyright ...
demo_leds-stm32f4	2015-08-01	Simon Wright	[35365b] Various cleanups for tests, demos, distribution.
demo_leds-stm32f429i-disco	2015-08-01	Simon Wright	[35365b] Various cleanups for tests, demos, distribution.
demos-arduino-due	2017-03-05	Simon Wright	[b331ca] Merged default into finalization.
ravenscar-sfp-stm32f4	2016-04-22	Simon Wright	[d291ce] Fixed up old Ravenscar packages for GNAT GPL 20...
ravenscar-sfp-stm32f429i-disco	2016-04-22	Simon Wright	[d291ce] Fixed up old Ravenscar packages for GNAT GPL 20...
stm32f4	2017-07-23	Simon Wright	[10f3d5] Recovering from bad commit 2017-07-22.
stm32f429i	2017-07-14	Simon Wright	[63750a] Update for FreeRTOS 9.0.0.
stm32f429i-disco-bsp	2016-03-06	Simon Wright	[8e1d2a] Update for STM32Cube_FW_F4_V1.11.0.
stm32f429i-disco-rtos	2016-03-13	Simon Wright	[f9822a] Merged default to no_tampering_check.
test-arduino-due	2017-03-05	Simon Wright	[b331ca] Merged default into finalization.
test-common	2017-07-23	Simon Wright	[6a12ff] Update to support Crazyflie.
test-stm32f4	2017-07-23	Simon Wright	[10f3d5] Recovering from bad commit 2017-07-22.
test-stm32f429i	2017-03-05	Simon Wright	[b331ca] Merged default into finalization.
wiki	2017-03-06	Simon Wright	[ad1700] Updated documentation.
.hgignore	2016-02-05	Simon Wright	[cd1d95] Check for stack overflow.
.hgtags	2016-05-22	Simon Wright	[c27477] Added tag r20160522 for changeset 9670d3f4114b
FreeRTOS.gpr	2017-07-14	Simon Wright	[63750a] Update for FreeRTOS 9.0.0.
INSTALL	2017-03-06	Simon Wright	[ad1700] Updated documentation.
LICENSE	2014-09-08	gnlnops	[7e4283] Initial commit
Makefile	2016-05-22	Simon Wright	[9670d3] Preparation for release.
README	2016-05-22	Simon Wright	[9670d3] Preparation for release.
README-for-distribution	2017-03-06	Simon Wright	[ad1700] Updated documentation.

Read Me

This project contains various GNAT Ada Run Time Systems (RTSs) based
on FreeRTOS (http://www.freertos.org) and targeted at boards with
Cortex-M3, -M4, -M4F MCUs (Arduino Due from http://www.arduino.org,
the STM32F4-series evaluation boards from STMicroelectronics at
http://www.st.com). A particular release may not contain all of the
RTSs.

In each case, the board support for the RTS (configuration for size
and location of Flash, RAM; clock initialization; interrupt naming) is
in $RTS/adainclude. Support for the on-chip peripherals is also
included, in Ada spec files generated by SVD2Ada
(https://github.com/AdaCore/svd2ada).

The Ada source is either original or based on FSF GCC (mainly 4.9.1,
some later releases too).

(1) arduino-due is a Ravenscar-style RTOS based on FreeRTOS from
    http://www.freertos.org for the Arduino Due.

    See arduino-due/COPYING* for licensing terms.

    On-chip peripheral support in atsam3x8e/.

    Tests in test-arduino-due/.

(2) stm32f4 is a Ravenscar-style RTOS based on FreeRTOS from
    http://www.freertos.org for the STM32F4-DISC* board.

    See stm32f4/COPYING* for licensing terms.

    On-chip peripheral support in stm32f40x/.

    Tests in test-stm32f4/.

(3) stm32f429i is a Ravenscar-style RTOS based on FreeRTOS from
    http://www.freertos.org for the STM32F429I-DISC* board.

    See stm32f429i/COPYING* for licensing terms.

    On-chip peripheral support in stm32f429x/.

    Tests in test-stm32f429i/.