diff --git a/README.md b/README.md index 88ba403..b330b2a 100644 --- a/README.md +++ b/README.md @@ -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 @@ -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