diff options
| author | Damien George <damien.p.george@gmail.com> | 2018-05-28 10:57:27 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-05-28 21:45:46 +1000 |
| commit | f497723802406c00d84b20fe5fc74b973a128ebc (patch) | |
| tree | 897b566ccabc26b52ed559f80f0cdd63479f8761 /ports/stm32/stm32_it.c | |
| parent | aa4a7a8732a8594c932503b50152f8e60053e498 (diff) | |
stm32: Allow to have no storage support if there are no block devices.
If no block devices are defined by a board then storage support will be
disabled. This means there is no filesystem provided by either the
internal flash or external SPI flash. But the VFS system can still be
enabled and filesystems provided on external devices like an SD card.
Diffstat (limited to 'ports/stm32/stm32_it.c')
| -rw-r--r-- | ports/stm32/stm32_it.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ports/stm32/stm32_it.c b/ports/stm32/stm32_it.c index b7124de89..b05138287 100644 --- a/ports/stm32/stm32_it.c +++ b/ports/stm32/stm32_it.c @@ -310,9 +310,11 @@ void SysTick_Handler(void) { // be generalised in the future then a dispatch table can be used as // follows: ((void(*)(void))(systick_dispatch[uwTick & 0xf]))(); + #if MICROPY_HW_ENABLE_STORAGE if (STORAGE_IDLE_TICK(uwTick)) { NVIC->STIR = FLASH_IRQn; } + #endif if (DMA_IDLE_ENABLED() && DMA_IDLE_TICK(uwTick)) { dma_idle_handler(uwTick); @@ -459,8 +461,10 @@ void FLASH_IRQHandler(void) { HAL_FLASH_IRQHandler(); } */ + #if MICROPY_HW_ENABLE_STORAGE // This call the storage IRQ handler, to check if the flash cache needs flushing storage_irq_handler(); + #endif IRQ_EXIT(FLASH_IRQn); } |