You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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).
10
2
11
-
The RTSs are all Ravenscar-based, with additional restrictions
12
-
`No_Exception_Propagation` and `No_Finalization`.
13
-
`No_Exception_Propagation` means that exceptions can't be caught
14
-
except in their immediate scope; instead, a `Last_Chance_Handler` is
15
-
called.
3
+
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.
16
4
17
-
In each case, the board support for the RTS (configuration for size
18
-
and location of Flash, RAM; clock initialization; interrupt naming) is
19
-
in `$RTS/adainclude`. Support for the on-chip peripherals is also
20
-
included, in Ada spec files generated by
21
-
[SVD2Ada](https://github.com/AdaCore/svd2ada).
5
+
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).
22
6
23
-
The Ada source is either original or based on FSF GCC (mainly 4.9.1,
24
-
some later releases too).
7
+
The Ada source is either original or based on FSF GCC (mainly 4.9.1, some later releases too).
25
8
26
9
The boards supported are
27
10
@@ -45,8 +28,7 @@ The boards supported are
45
28
* On-chip peripheral support in `stm32f429x/`.
46
29
* Tests in `test-stm32f429i/`.
47
30
48
-
The standard packages included (there are more, implementation-specific,
49
-
ones) for all RTSs are:
31
+
The standard packages included (there are more, implementation-specific, ones) for all RTSs are:
0 commit comments