Skip to content

Commit

Permalink
Remove extra linefeeds in README.md.
Browse files Browse the repository at this point in the history
  • Loading branch information
simonjwright committed Apr 10, 2021
1 parent 11e7225 commit 69839df
Showing 1 changed file with 5 additions and 23 deletions.
28 changes: 5 additions & 23 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,27 +1,10 @@
This package includes GNAT Ada Run Time Systems (RTSs) based
on [FreeRTOS](http://www.freertos.org) and targeted at boards with
Cortex-M0, -M3, -M4, -M4F MCUs
(respectively
[BBC micro:bit](http://microbit.org),
[Arduino Due](https://www.arduino.cc), and the STM32F4-series evaluation
boards from [STMicroelectronics](https://www.st.com)). For discussions,
visit the dedicated
[Google Group](https://groups.google.com/forum/#!forum/cortex-gnat-rts).
This package includes GNAT Ada Run Time Systems (RTSs) based on [FreeRTOS](http://www.freertos.org) and targeted at boards with Cortex-M0, -M3, -M4, -M4F MCUs (respectively [BBC micro:bit](http://microbit.org), [Arduino Due](https://www.arduino.cc), and the STM32F4-series evaluation boards from [STMicroelectronics](https://www.st.com)). For discussions, visit the dedicated [Google Group](https://groups.google.com/forum/#!forum/cortex-gnat-rts).

The RTSs are all Ravenscar-based, with additional restrictions
`No_Exception_Propagation` and `No_Finalization`.
`No_Exception_Propagation` means that exceptions can't be caught
except in their immediate scope; instead, a `Last_Chance_Handler` is
called.
The RTSs are all Ravenscar-based, with additional restrictions `No_Exception_Propagation` and `No_Finalization`. `No_Exception_Propagation` means that exceptions can't be caught except in their immediate scope; instead, a `Last_Chance_Handler` is called.

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).
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).
The Ada source is either original or based on FSF GCC (mainly 4.9.1, some later releases too).

The boards supported are

Expand All @@ -45,8 +28,7 @@ The boards supported are
* On-chip peripheral support in `stm32f429x/`.
* Tests in `test-stm32f429i/`.

The standard packages included (there are more, implementation-specific,
ones) for all RTSs are:
The standard packages included (there are more, implementation-specific, ones) for all RTSs are:

Ada
Ada.Characters
Expand Down

0 comments on commit 69839df

Please sign in to comment.