search

AdaCore / Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
BSD 3-Clause "New" or "Revised" License
240 stars 141 forks source link

SDMMC_Interrupt_Handler interrupt priority #219

Closed simonjwright closed 6 years ago

simonjwright commented 7 years ago

In STM32.SDMMC_Interrupt, there is

   protected type SDMMC_Interrupt_Handler
     (Interrupt_ID : Ada.Interrupts.Interrupt_ID)
   is
      pragma Interrupt_Priority (250);

I found this because I was using a different RTS, with fewer priorities, but I think that either it should be in terms of System.Interrupt_Priority'Last, or left as a discriminant for the user to decide.

Fabien-Chouteau commented 7 years ago

@simonjwright you are right. I will add a discriminant.

Fabien-Chouteau commented 6 years ago

Done :) #264