Этот сайт лучше всего просматривать в современном браузере с включённым JavaScript.

Антбилд или прожжённые фьюзы

Astranome

Сразу скажу, что

отменить, обнулить эти фьюзы -- нельзя (можно обойти проблему, если Очень надо, но никому это не надо)
с СД загрузиться нельзя, с JTAG --можно
Можно подгрузить другую ОС и пользоваться с некоторыми ограничениями, ибо другое ядро прогрузить никак
Для обучения и разработки ПЛИС людям, имеющим программатор, ограничений нет
Вангую, что остальные подробности малоинтересны.

Astranome

Самый простой способ проверить плату на наличие антбилда - подать питание и смотреть на светодиоды. Светодиод , ближний к разъёму питания должен зажигаться в немедленно любом случае, остальные - по центру и дальние, в группе 4 шт. могут зажигаться с небольшой задержкой, до секунды. Если задержка в несколько секунд, велика вероятность, что режим загрузки с ключом активирован, фьюзы залочены.
Ещё более надёжный способ - попробовать загрузиться с флешки, (например с "реанимационной"). Платы с антбилдом не могут загружаться с флешки.

Astranome

Где фьюзы? Они в цинке. В нашем случае это банальный секьюребут, который все производители микроконтроллеров вставляют в свои изделия. Там вариантов несколько, но нас касается лишь один. Можно в кристалл вписать хеш приватного ключа и тогда мышеловка захлопнется. Только загрузчики, подписанные этим ключом будут иметь право загрузиться. Примечательно то, что этот хеш можно прочитать, но это ничего не даёт. Коротко: никакая загрузка невозможна, кроме подписанной этим секретным ключом.

UB3YAB

xilskey - прога для чтения-записи фьюзов

UB3YAB

Нарваться на платы S9 с RSA authentication of fsbl enabled - это большая редкость, такие платы отдавали паяльщикам-асикоремонтникам и те меняли процессоры (ZYNQ7000) на новые сотнями штyk, так что сейчас таких "ANTBILD" плат найти - надо постараться. Хорошие выбрасывают, а плохие и подавно. И ещё.

Если до какой то модели майнеров (например плата ebaz от майнера ebit фирмы ebang) не дотянулись когтистые лапы ВНИШа, то такие платы не бывают с прожжёнными фьюзами - [народная майнерская примета].

Julian

Получается, если на плате побывал вниш, то с этим камнем я уже не поиграюсь с ключом и сектюрибут? Так?

Astranome

Julian нет

Max

Можете просветить по поводу VNISH ? Как я понимаю в случае ВНИШа мы теряем возможность менять фьюзы, но остальной функционал камня остается доступен? Если я правильно понял, получается, для самоделок всеравно, что есть ВНИШ что его нет, верно ?

koshi

Max по крайней мере, какие мне попадались - грузились прекрасно с sd карты и записанной собственной прошивкой в NAND. Nor не проверял. Так что для отладки, опять же повторюсь, какие попадались - вполне.

В любом случае, перед покупкой проверять обязательно, что грузит с sd карты прошивку.

Насколько я понял, они прошивают write protect fuse, блокируя их использование. Для отладки это даже удобнее - невозможно случайно повредить фьюзы. Разве только аппаратное повреждение.

Ну и вообще на отладках всегда уничтожаю их через write potection. Вообще это дрянь - как динамит может рвануть сама по себе даже при проблеммах с питанием (включении и даже отключении), о чём описано в официальной документации:

https://adaptivesupport.amd.com/s/article/65240?language=en_US

Да и вообще вредительство это дерьмо не отключать, которое может сделать железку вообще непригодной. Почему нельзя было сделать пару пинов, при замыкании которых они бы обнулялись?

Так что молодцы, что такую прошивку сделали, предотврацающие порчу zynq

Astranome

koshi у меня всё руки не доходят, сделать скрипт, который лочит фьюзы от проделок всяких там шибко хитромудрых ВНИШей авторов "антбилд"

koshi

Astranome А они тудя ещё гадость добавляют какую? Тоже портят нормальную возможность грузиться отовсюду? Я думал, они просто блокируют фиюзы

Astranome

koshi Они (ВНИШ) добавляют свой ключ (хеш) во фьюзы и он там застревает навсегда. Правда , во всяком случае раньше, не ставили флаг "грузиться только подписанной прошивкой" (RSA authentification of fsbl enabled), (как это сделано АНТБИЛДом), можно было загрузиться и неподписанным загрузчиком. Но бизнесмены-майнеры этого не знают, они только знают один вид смены прошивки - через веб утилиту. А она, эта утилита, изменена ВНИШевцами таким образом, что не даёт грузить прошивки с чужим ключом или вовсе без подписи. Вам это никак не мешает, вы не используете обновление из вебморды, умеете переставлять перемычку JP4 и загружаться с СД карты.
И ещё. Фьюзами нельзя запретить грузиться с СД. Неожиданно, правда?

koshi

Astranome Если не активировали, хоть не портит zynq. Это да. Но у меня есть 1 странная плата, которая при выставлении перемычек в упор не грузится с SD, при этом все фьюзы читаются и ни 1 не выставлен. Но можно начать грузиться с nand, а потом продолжить с sd. Видимо, брак уже самого zynq. Но пользоваться не очень удобно, но возможно

Astranome

koshi начать грузиться с nand, а потом продолжить с sd.

как именно вы это делали?

koshi

Astranome

В исходнике fsbl

Комментируем строки атоопределиения откуда загрузились

//BootModeRegister = - Xil_Int....

//BootModeRegister &= BOOT_MODE...

// Принудительно указываем что грузиться с SD карты (хоть с NAND хоть с NOR (ко коду константу смотрите))

BootModeRegister = SD_MODE (точнее по коду посмотрите)

Тамже по коду можно указать нужно ли грузить битстрим или нет и его имя, а также что грузить следующее по имени файла (uboot, приложение и тд).

Только учтите, что uboot тоже будет думать, что вы с NAND, а не с флешки грузитесь и там тоже надо "прибить гвоздями" запускаемую команду.

Здесь же можно добавить отображение текущего состояния фьюзов (код из примера взять).

Но главное не переусердствовать - размер fsbl ограничен

Вот полезная статья, расписывающая по шагам, на примере EBAZ4205 как с 0 настроить, включая как прописать тайминги памятей (берутся из datasheet) + собрать всё необходимое. Также в pdf приложил - полезный материалы крайне любят исчезать. Также описано, как задавать задерки в линиях памяти, что особенно актуально, где Китайцы съэкономили, сделав на 4-ёх слойке как EBAZ4205 и на zynq 007

https://programmersought.com/article/78977621396/

Astranome

koshi Статья очень качественно написана. Хотя ничего такого особо секретного там нет, кроме одного. Этот чёртов гений из за того, что ему было лень перетыкать перемычки, потратил 3 дня и хакнул эту хренову систему выбора загрузочной медиа на основе перемычек. Кто бы мог подумать , что это заложено в Fsbl, которая вовсе не first, а очень даже second! Чувак реально крут, респект и уважуха. Вот это и есть настоящий хакер. Конечно, это не единственный случай нахождения уязвимости в их хвалёном секуребуте, в 2020 пофиксили другую дыру и тоже в фсбл после выступления одной команды на форуме, ещё одна группа исследователей отымела систему, написав микрокод в битстриме, который перехватывал процесс начальной загрузки и подменял код прямо в памяти на свой, скачанный за доли секунды со специального сервера.
В общем забавно, пускай это ничего не даёт в плане борьбы с секуребутом в общем и антбилдом в частности, зато весело :-)
А загружаться с разных источников без перестановки перемычек можно, не ковыряясь в исходниках. На днях выкачу работающий образец, сделано на основе юбут-меню.

Julian

Ждёмс…

Cabriolette60

BootROM имеет возможность проверять подлинность защищенного FSBL перед расшифровкой или небезопасного FSBL перед выполнением с использованием аутентификации по открытому ключу RSA. Эта функция активируется путем отключения предохранителя включения аутентификации RSA в массиве PS eFuse.

Когда включена аутентификация RSA, загрузочный модуль запускается путем загрузки FSBL в OCM. Затем загружается первичный открытый ключ (PPK) и вычисляется подпись SHA-256. Эта вычисленная сигнатура сравнивается с хэш-значением PPK, хранящимся в PS eFuse. Если подпись PPK соответствует хэш-значению PPK, загрузка продолжается. Затем загрузочная среда загружает вторичный открытый ключ (SPK) из загрузочного образа и подпись SPK. Аутентификация SPK выполняется с использованием PPK. При сбое аутентификации PPK или SPK загрузочная карта запускает резервный режим. Если новый FSBL не найден, устройство переходит в режим безопасной блокировки.

После аутентификации SPK загрузчик вычисляет хэш-значение SHA-256 для FSBL, хранящегося в OCM. Аутентификация FSBL выполняется с использованием SPK. Если аутентификация прошла успешно, защищенный FSBL затем расшифровывается с помощью AES или запускается небезопасный FSBL.