Which USBC Power Supply do you recommend for supplying the Alchitry Au running full throttle at 3.5A from USBC? I ask because I see that the ADP5052ACPZ-R7 switch mode IC requires Vcc of minimum 4.5V. That seems to be a real challenge when you have to consider voltage drop over the USBC cable including the voltage drop over the series diode D1 on the Alchitry.
If you’re using a V2 board, the diode was replaced with an “ideal” diode significantly reducing the drop and improving efficiency.
That being said, I’ve never had any issues with just about any supply. You’re not likely to pull 3.5A unless whatever you connect externally has that much power draw.
If you are connecting something power hungry, you could bypass the diode and feed power in via the headers.