See https://git.trustedfirmware.org/trusted-firmware-m.git/tree/ - View it on GitHub