Hi, I have been looking into DMA on Teensy 4.1 but have recently found Arduino Portenta (STMicro STM32H747XI that has both Cortex M7 and M4). I was wondering if I can utilize the DMA libraries from Teensy 4.1 (of course, with possible adjustments) to implement DMA on the M7 core, or it is simpler to start from scratch?