Libraries specific for Teensy 3.1

[bubulindo]

Hello,

I noticed that most libraries work on all teensy versions (AVR and freescale), and am wondering if someone could point me towards the libraries that make use of the ARM peripherals included in the teensyduino distribution.
I noticed that the ADC library is one of such but cannot find, for example, the RTC library (if it exists).

As I'm interested in learning about the ARM peripherals, this can be an interesting thing to study/develop.

Thanks in advance.

[PaulStoffregen]

For the RTC, the Time library has a Teensy 3.x specific example.

You'd think I'd have a list of all the Teensy 3.x only libraries, but I do not. Here's a few that I can think of right now.

Snooze
ADC
i2c_t3
FlexCAN
OctoWS2811
ILI3941_t3
Audio
SD_t3
PulsePosition
SmartMatrix

[K3FY]

I see FastCRC uses the on-chip hardware for Teensy 3.0 / 3.1