A list of the 4 libraries in the architecture arm.

SoftPWM A software library to produce a 50 percent duty cycle PWM signal on arbitrary pins.
STEAMbot Library that provides access to all the STEAMbot facilities.
uClock BPM clock generator for Arduino platform.
XMC_Servo Allows Infineon XMC arm boards using Hardware PWM to control a variety of servo motors and controls.