Release 2023-02-25

This release is compatible with FSF GCC 12 and 13 (see INSTALL.md).

Changes

The default RELEASE is gcc12 (also works for GCC 13).

For the runtimes, the build type (Production or Debug) defaults to Debug, which can be overridden by the environment variable BUILD, which can in turn be overridden by CORTEX_GNAT_RTS_BUILD.

The micro:bit demos (in test-microbit/) now include accelerometer, which displays a single LED: if the card is level, in the centre; as the card is tilted, the lit LED moves to the lowest edge. Note, this is for a micro:bit V1.3B, with the MMA8653 accelerometer.

Release 2022-11-02

Fixes issue #41, Can’t specify environment task’s secondary stack size. No other changes.

Release 2022-10-11

Compatible with GCC 12 (still defaults to RELEASE=gcc11).

Release 2021-05-04

This release is compatible with FSF GCC 11 (see INSTALL.md).

Changes

The stm32f4, stm32f429i and micro:bit tests use the Ada Drivers Library.

Except for arduino-due, only includes the svd2ada-generated files that are required by the runtime.

Release 2020-10-14

This release is compatible with GNAT CE 2020 (see INSTALL.md).

Changes

Includes a Python GDB script to list free stack space.

Timing Events are checked every 5 milliseconds.

Provides scenario options for FreeRTOS selection.

It's possible to specify the minimum stack size (defaults to 768 bytes).

The micro:bit tests use the Ada Drivers Library.

Plans

Other MCUs' tests will be ported to the Ada Drivers Library.

Will only include the svd2ada-generated files that are required by the runtime.

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.

Release 2018-06-14

This release supports GNAT CE 2018 and the task aspect Secondary_Stack_Size, available in FSF GCC 7/GNAT GPL 2017 and later.

Full details here.

Release 2018-06-07

This release doesn't change any RTS functionality; instead, it reorganises the structure of the source code so as to accomodate the changes made to keep in synchrony with compiler releases without using git branches.

This affects how you build the RTS: you must specify which release of the compiler you're building for, e.g.

make RELEASE=gnat-gpl-2017

and the RTS must be installed, either with the compiler or locally (you can't any longer use the RTS directly in its build location).

This is dealt with more fully in the installation notes.

Release 2018-04-19 for GNAT GPL 2017

• The performance of Timing_Events is improved.

• delay until Ada.Real_Time.Time_Last is supported.

• The restriction No_Recursion is removed (Ada_Drivers_Library uses it). It's still a good idea to include it where you can, possibly via a local configuration pragma: in your GPR's package Compiler,

    for Local_Configuration_Pragmas use "no_recursion.adc";

where of course no_recursion.adc contains

    pragma Restrictions (No_Recursion);

• All but 2k of free store is available for heap.

Release 2018-04-19 for GCC 7

There are no user-visible updates in this release.