Can you please clarify, the BPI-F3 can be powered via USB-C Power Delivery, right?
Independent of power source (USB-C, Power-over-Ethernet and barrel) the BPI-F3 always takes 12V input. Which means it has voltage steppers to 5V and 3.3V for all components like SoC, USB and M.2. Right?
So connected to the USB-C is a chip for the Power Delivery protocol to negotiate voltage from the default 5V to 12V, right.
@simon: in the schematics is says that the 12V of the J26 SATA power connector gets the voltage from DC_IN, and not from USBVBUS. It seem this should get a note that this is prectically USBVBUS also, as there does not seem to be an diode in between USBVBUS and DC_IN, there just seems to be R26 with 0.01 ohms between USBVBUS and DC_IN
But some people accidentally use a USB power supply without PD function, which will cause the J26 to only have 5V power. Therefore, we generally emphasize DC_IN.