What is the best DMA library which I can use? I want to use Teensy 3.6 to record data from 2-4 simultaneous channels at a sampling rate of 10 kHz for 10 seconds. I want to use DMA to store that data into a buffer. Then use an interrupt to transfer these data to the SD card when the buffer is full. Am I doing it right?

Thanks in advance for helping!