You've already forked Ada_Drivers_Library
mirror of
https://github.com/AdaCore/Ada_Drivers_Library.git
synced 2026-02-12 12:26:55 -08:00
* Use symbolic interrupt priority for SDMMC.
* arch/ARM/STM32/drivers/sd/stm32-sdmmc_interrupt.ads
(SDMMC_Interrupt_Handler): Supply the required interrupt priority via
a discriminant.
* Added omitted 'with System'.
* arch/ARM/STM32/drivers/sd/stm32-sdmmc_interrupt.ads: as summary.
* Matching change for boards where SDCard is used.
* boards/stm32_common/sdcard/sdcard.adb (SD_Interrupt_Handler):
include Priority discriminant.