You can find a minimal example of my ADC code below (running the ADC at 128 kHz). I would still prefer using Paul's high-level functions for the DMA.
File pdb.h
/* Audio Library for Teensy 3.X
* Copyright (c) 2014, Paul Stoffregen, paul@pjrc.com
* Modified 2015, Ferdinand Keil...