japaric's Real-Time For The Masses framework expects board support crates to re-export their device's interrupt enum Interrupt as interrupt. Moreover, re-exportig hal::stm32::Peripherals makes it possible to specify this crate as target device in RTFM's app attribute like so:
use stm32f407g_disc as board;
#[app(device = board)]
japaric's Real-Time For The Masses framework expects board support crates to re-export their device's interrupt enum
Interrupt
asinterrupt
. Moreover, re-exportighal::stm32::Peripherals
makes it possible to specify this crate as target device in RTFM'sapp
attribute like so: