Чтобы ответить на мой собственный вопрос: я решил быть смелым и просто попробовать это. Здесь вы видите блок питания 5 В с обычным выходом USB, микро- кабель USB -> USB и адаптер usb-micro-usb- c. Это может привести в действие плату разработчиков кораллов, она загрузилась, и я мог бы sh подключить к ней (хотя я думаю, что было бы хорошо взглянуть на энергопотребление при выполнении тяжелого вывода нейронной сети).