https://wiki.radxa.com/Rockpi4/getting_started
USB-PDで給電らしい。USB-Cなのに5.5V 3AぐらいでどうにかするしかなかったRasPi 4よりよさげである。