Skip to content

Commit a676f2f

Browse files
committed
For stm32f429i, only include needed SVD-generated files.
* stm32f429i/Makefile (all:): target doesn't need stm324f29i/. * stm32f429i/README: removed, replaced by README.md. * stm32f429i/README.md: edited from README. * stm32f429i/build_runtime.gpr (Source_Dirs): remove stm32f4291. * stm32f429i/adainclude/a-intnam.ads: included Ada Drivers Library renamings. * stm32f429i/adainclude/stm32f429x-flash.ads: regenerated, moved from stm32f429i/. * stm32f429i/adainclude/stm32f429x-pwr.ads: likewise. * stm32f429i/adainclude/stm32f429x-rcc.ads: likewise. * stm32f429i/adainclude/stm32f429x.ads: likewise. * stm32f429i/stm32f429x/: removed. *
1 parent cae1ef5 commit a676f2f

36 files changed

+115
-23046
lines changed

stm32f429i/Makefile

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# Copyright (C) 2016, 2018, 2020 Free Software Foundation, Inc.
1+
# Copyright (C) 2016-2021 Free Software Foundation, Inc.
22
#
33
# This file is part of the Cortex GNAT RTS package.
44
#
@@ -18,7 +18,7 @@
1818

1919
SVD2ADA ?= ~/adacore/svd2ada
2020

21-
all: stm32f429x
21+
all:
2222
gprbuild -p -P build_runtime.gpr
2323

2424
stm32f429x:
@@ -32,6 +32,5 @@ install: all
3232

3333
clean:
3434
-gprclean -P build_runtime.gpr
35-
rm -rf stm32f429x
3635

3736
.PHONY: all install clean

stm32f429i/README

Lines changed: 0 additions & 29 deletions
This file was deleted.

stm32f429i/README.md

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
This is an Ada Runtime System (RTS) for the GCC Ada compiler (GNAT), targeted to the STMicroelectronics [STM32F429I Discovery board](http://www.st.com/).
2+
3+
The RTS supports Ravenscar tasking. Package System contains the following additional restrictions:
4+
5+
* pragma Restrictions (No_Exception_Propagation);
6+
* pragma Restrictions (No_Finalization);
7+
8+
The RTS is intended to support commercial binary distributions. The Ada source code has either been derived from FSF GCC (4.9.1 or later) or written for this work; see the files COPYING3 and COPYING.RUNTIME.
9+
10+
The RTS is based on [FreeRTOS](http://www.freertos.org). See COPYING.FreeRTOS.
11+
12+
Board support (spec files only) is generated using [svd2ada](https://github.com/AdaCore/svd2ada).
13+
14+
The following non-original files don't form part of a binary deliverable, so don't affect the status of the binary:
15+
16+
* `build_runtime.gpr` and `runtime.xml` originated in AdaCore's GNAT GPL 2014 arm-eabi distribution (for Linux).
17+
18+
* The linker script `stm32f429i-flash.ld` is under an MIT licence: see COPYING.MIT.

stm32f429i/adainclude/a-intnam.ads

Lines changed: 94 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -112,4 +112,98 @@ package Ada.Interrupts.Names is
112112
LTDC_ER_IRQ : constant Interrupt_ID := 89;
113113
DMA2D_IRQ : constant Interrupt_ID := 90;
114114

115+
-- These are the interrupt names expected by Ada_Drivers_Library.
116+
117+
WWDG_Interrupt : Interrupt_ID renames WWDG_IRQ;
118+
PVD_Interrupt : Interrupt_ID renames PVD_IRQ;
119+
TAMP_STAMP_Interrupt : Interrupt_ID renames TAMP_STAMP_IRQ;
120+
RTC_WKUP_Interrupt : Interrupt_ID renames RTC_WKUP_IRQ;
121+
FLASH_Interrupt : Interrupt_ID renames FLASH_IRQ;
122+
RCC_Interrupt : Interrupt_ID renames RCC_IRQ;
123+
EXTI0_Interrupt : Interrupt_ID renames EXTI0_IRQ;
124+
EXTI1_Interrupt : Interrupt_ID renames EXTI1_IRQ;
125+
EXTI2_Interrupt : Interrupt_ID renames EXTI2_IRQ;
126+
EXTI3_Interrupt : Interrupt_ID renames EXTI3_IRQ;
127+
EXTI4_Interrupt : Interrupt_ID renames EXTI4_IRQ;
128+
DMA1_Stream0_Interrupt : Interrupt_ID renames DMA1_Stream0_IRQ;
129+
DMA1_Stream1_Interrupt : Interrupt_ID renames DMA1_Stream1_IRQ;
130+
DMA1_Stream2_Interrupt : Interrupt_ID renames DMA1_Stream2_IRQ;
131+
DMA1_Stream3_Interrupt : Interrupt_ID renames DMA1_Stream3_IRQ;
132+
DMA1_Stream4_Interrupt : Interrupt_ID renames DMA1_Stream4_IRQ;
133+
DMA1_Stream5_Interrupt : Interrupt_ID renames DMA1_Stream5_IRQ;
134+
DMA1_Stream6_Interrupt : Interrupt_ID renames DMA1_Stream6_IRQ;
135+
ADC_Interrupt : Interrupt_ID renames ADC_IRQ;
136+
CAN1_TX_Interrupt : Interrupt_ID renames CAN1_TX_IRQ;
137+
CAN1_RX0_Interrupt : Interrupt_ID renames CAN1_RX0_IRQ;
138+
CAN1_RX1_Interrupt : Interrupt_ID renames CAN1_RX1_IRQ;
139+
CAN1_SCE_Interrupt : Interrupt_ID renames CAN1_SCE_IRQ;
140+
EXTI9_5_Interrupt : Interrupt_ID renames EXTI9_5_IRQ;
141+
TIM1_BRK_TIM9_Interrupt : Interrupt_ID renames TIM1_BRK_TIM9_IRQ;
142+
TIM1_UP_TIM10_Interrupt : Interrupt_ID renames TIM1_UP_TIM10_IRQ;
143+
TIM1_TRG_COM_TIM11_Interrupt : Interrupt_ID renames TIM1_TRG_COM_TIM11_IRQ;
144+
TIM1_CC_Interrupt : Interrupt_ID renames TIM1_CC_IRQ;
145+
TIM2_Interrupt : Interrupt_ID renames TIM2_IRQ;
146+
TIM3_Interrupt : Interrupt_ID renames TIM3_IRQ;
147+
TIM4_Interrupt : Interrupt_ID renames TIM4_IRQ;
148+
I2C1_EV_Interrupt : Interrupt_ID renames I2C1_EV_IRQ;
149+
I2C1_ER_Interrupt : Interrupt_ID renames I2C1_ER_IRQ;
150+
I2C2_EV_Interrupt : Interrupt_ID renames I2C2_EV_IRQ;
151+
I2C2_ER_Interrupt : Interrupt_ID renames I2C2_ER_IRQ;
152+
SPI1_Interrupt : Interrupt_ID renames SPI1_IRQ;
153+
SPI2_Interrupt : Interrupt_ID renames SPI2_IRQ;
154+
USART1_Interrupt : Interrupt_ID renames USART1_IRQ;
155+
USART2_Interrupt : Interrupt_ID renames USART2_IRQ;
156+
USART3_Interrupt : Interrupt_ID renames USART3_IRQ;
157+
EXTI15_10_Interrupt : Interrupt_ID renames EXTI15_10_IRQ;
158+
RTC_Alarm_Interrupt : Interrupt_ID renames RTC_Alarm_IRQ;
159+
OTG_FS_WKUP_Interrupt : Interrupt_ID renames OTG_FS_WKUP_IRQ;
160+
TIM8_BRK_TIM12_Interrupt : Interrupt_ID renames TIM8_BRK_TIM12_IRQ;
161+
TIM8_UP_TIM13_Interrupt : Interrupt_ID renames TIM8_UP_TIM13_IRQ;
162+
TIM8_TRG_COM_TIM14_Interrupt : Interrupt_ID renames TIM8_TRG_COM_TIM14_IRQ;
163+
TIM8_CC_Interrupt : Interrupt_ID renames TIM8_CC_IRQ;
164+
DMA1_Stream7_Interrupt : Interrupt_ID renames DMA1_Stream7_IRQ;
165+
FMC_Interrupt : Interrupt_ID renames FMC_IRQ;
166+
SDIO_Interrupt : Interrupt_ID renames SDIO_IRQ;
167+
TIM5_Interrupt : Interrupt_ID renames TIM5_IRQ;
168+
SPI3_Interrupt : Interrupt_ID renames SPI3_IRQ;
169+
UART4_Interrupt : Interrupt_ID renames UART4_IRQ;
170+
UART5_Interrupt : Interrupt_ID renames UART5_IRQ;
171+
TIM6_DAC_Interrupt : Interrupt_ID renames TIM6_DAC_IRQ;
172+
TIM7_Interrupt : Interrupt_ID renames TIM7_IRQ;
173+
DMA2_Stream0_Interrupt : Interrupt_ID renames DMA2_Stream0_IRQ;
174+
DMA2_Stream1_Interrupt : Interrupt_ID renames DMA2_Stream1_IRQ;
175+
DMA2_Stream2_Interrupt : Interrupt_ID renames DMA2_Stream2_IRQ;
176+
DMA2_Stream3_Interrupt : Interrupt_ID renames DMA2_Stream3_IRQ;
177+
DMA2_Stream4_Interrupt : Interrupt_ID renames DMA2_Stream4_IRQ;
178+
ETH_Interrupt : Interrupt_ID renames ETH_IRQ;
179+
ETH_WKUP_Interrupt : Interrupt_ID renames ETH_WKUP_IRQ;
180+
CAN2_TX_Interrupt : Interrupt_ID renames CAN2_TX_IRQ;
181+
CAN2_RX0_Interrupt : Interrupt_ID renames CAN2_RX0_IRQ;
182+
CAN2_RX1_Interrupt : Interrupt_ID renames CAN2_RX1_IRQ;
183+
CAN2_SCE_Interrupt : Interrupt_ID renames CAN2_SCE_IRQ;
184+
OTG_FS_Interrupt : Interrupt_ID renames OTG_FS_IRQ;
185+
DMA2_Stream5_Interrupt : Interrupt_ID renames DMA2_Stream5_IRQ;
186+
DMA2_Stream6_Interrupt : Interrupt_ID renames DMA2_Stream6_IRQ;
187+
DMA2_Stream7_Interrupt : Interrupt_ID renames DMA2_Stream7_IRQ;
188+
USART6_Interrupt : Interrupt_ID renames USART6_IRQ;
189+
I2C3_EV_Interrupt : Interrupt_ID renames I2C3_EV_IRQ;
190+
I2C3_ER_Interrupt : Interrupt_ID renames I2C3_ER_IRQ;
191+
OTG_HS_EP1_OUT_Interrupt : Interrupt_ID renames OTG_HS_EP1_OUT_IRQ;
192+
OTG_HS_EP1_IN_Interrupt : Interrupt_ID renames OTG_HS_EP1_IN_IRQ;
193+
OTG_HS_WKUP_Interrupt : Interrupt_ID renames OTG_HS_WKUP_IRQ;
194+
OTG_HS_Interrupt : Interrupt_ID renames OTG_HS_IRQ;
195+
DCMI_Interrupt : Interrupt_ID renames DCMI_IRQ;
196+
CRYP_Interrupt : Interrupt_ID renames CRYP_IRQ;
197+
HASH_RNG_Interrupt : Interrupt_ID renames HASH_RNG_IRQ;
198+
FPU_Interrupt : Interrupt_ID renames FPU_IRQ;
199+
UART7_Interrupt : Interrupt_ID renames UART7_IRQ;
200+
UART8_Interrupt : Interrupt_ID renames UART8_IRQ;
201+
SPI4_Interrupt : Interrupt_ID renames SPI4_IRQ;
202+
SPI5_Interrupt : Interrupt_ID renames SPI5_IRQ;
203+
SPI6_Interrupt : Interrupt_ID renames SPI6_IRQ;
204+
SAI1_Interrupt : Interrupt_ID renames SAI1_IRQ;
205+
LTDC_Interrupt : Interrupt_ID renames LTDC_IRQ;
206+
LTDC_ER_Interrupt : Interrupt_ID renames LTDC_ER_IRQ;
207+
DMA2D_Interrupt : Interrupt_ID renames DMA2D_IRQ;
208+
115209
end Ada.Interrupts.Names;

stm32f429i/stm32f429x/stm32f429x-flash.ads renamed to stm32f429i/adainclude/stm32f429x-flash.ads

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
pragma Ada_2012;
21
pragma Style_Checks (Off);
32

43
-- This spec has been automatically generated from STM32F429x.svd

stm32f429i/stm32f429x/stm32f429x-pwr.ads renamed to stm32f429i/adainclude/stm32f429x-pwr.ads

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
pragma Ada_2012;
21
pragma Style_Checks (Off);
32

43
-- This spec has been automatically generated from STM32F429x.svd

stm32f429i/stm32f429x/stm32f429x-rcc.ads renamed to stm32f429i/adainclude/stm32f429x-rcc.ads

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
pragma Ada_2012;
21
pragma Style_Checks (Off);
32

43
-- This spec has been automatically generated from STM32F429x.svd

stm32f429i/stm32f429x/stm32f429x.ads renamed to stm32f429i/adainclude/stm32f429x.ads

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
pragma Ada_2012;
21
pragma Style_Checks (Off);
32

43
-- This spec has been automatically generated from STM32F429x.svd

stm32f429i/build_runtime.gpr

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
-- Copyright (C) 2016-2018, 2020 Free Software Foundation, Inc.
1+
-- Copyright (C) 2016-2021 Free Software Foundation, Inc.
22

33
-- This file is part of the Cortex GNAT RTS package.
44
--
@@ -33,7 +33,6 @@ library project Build_Runtime is
3333
for Source_Dirs use Common.Paths &
3434
(
3535
"adainclude",
36-
"stm32f429x",
3736
FreeRTOS.Source,
3837
FreeRTOS.Portable_Base & "ARM_CM4F"
3938
);

0 commit comments

Comments
 (0)