KiCad boards from 1 GitHub repository tagged “at32f42x”, the most starred first; open any of them in PCBKit.
FASTSHIFT/DutyCycle
Work-Life Duty Cycle Clock