stm32f0: Make interrupt stack sizes configurable

Author: damaki

stm32f0_src/README.md

@@ -282,6 +282,29 @@ light_tasking_stm32f0xx.AHB_Pre = "DIV1"
 light_tasking_stm32f0xx.APB_Pre = "DIV1"
 ```
 
+The following variables configure the interrupt stack sizes:
+
+<table>
+  <thead>
+    <th>Variable</th>
+    <th>Values</th>
+    <th>Default</th>
+    <th>Description</th>
+  </thead>
+  <tr>
+    <td><tt>Interrupt_Stack_Size</tt></td>
+    <td>Any positive integer</td>
+    <td><tt>1024</tt></td>
+    <td>Specifies the size of the primary stack used for interrupt handlers.</td>
+  </tr>
+  <tr>
+    <td><tt>Interrupt_Secondary_Stack_Size</tt></td>
+    <td>Any positive integer</td>
+    <td><tt>128</tt></td>
+    <td>Specifies the size of the secondary stack used for interrupt handlers.</td>
+  </tr>
+</table>
+
 ### GPR Scenario Variables
 
 The runtime project files expose `*_BUILD` and and `*_LIBRARY_TYPE` GPR

stm32f0_src/s-bbpara.ads

@@ -44,6 +44,8 @@ pragma Restrictions (No_Elaboration_Code);
 with System.BB.Board_Parameters;
 with System.BB.MCU_Parameters;
 
+with STM32F0xx_Runtime_Config;
+
 package System.BB.Parameters is
    pragma Preelaborate (System.BB.Parameters);
 
@@ -98,12 +100,14 @@ package System.BB.Parameters is
    -- Stacks --
    ------------
 
-   Interrupt_Stack_Size : constant := 1024;
+   Interrupt_Stack_Size : constant :=
+     STM32F0xx_Runtime_Config.Interrupt_Stack_Size;
    --  Size of each of the interrupt stacks in bytes. While there nominally is
    --  an interrupt stack per interrupt priority, the entire space is used as a
    --  single stack.
 
-   Interrupt_Sec_Stack_Size : constant := 128;
+   Interrupt_Sec_Stack_Size : constant :=
+     STM32F0xx_Runtime_Config.Interrupt_Secondary_Stack_Size;
    --  Size of the secondary stack for interrupt handlers
 
    Has_FPU : constant Boolean := False;

stm32f0_src/templates/alire.toml.in

@@ -99,5 +99,8 @@ PLLMUL = { type = "Integer", first = 2, last = 16, default = 12 }
 AHB_Pre = { type = "Enum", values = ["DIV1", "DIV2", "DIV4", "DIV8", "DIV16", "DIV64", "DIV128", "DIV256", "DIV512"], default = "DIV1" }
 APB_Pre = { type = "Enum", values = ["DIV1", "DIV2", "DIV4", "DIV8", "DIV16"], default = "DIV2" }
 
+Interrupt_Stack_Size = { type = "Integer", first = 1, default = 1024 }
+Interrupt_Secondary_Stack_Size = { type = "Integer", first = 1, default = 128 }
+
 [[depends-on]]
 gnat_arm_elf = "^15"