Вопрос по разработке UEFI BIOS драйверов для своего железа. Интересует, кто на какой платформе отлаживается (gigabyte, msi, asus, etc.), баги и пр., какими sdk пользовался, т.е. что есть кроме UDK2014?

Вначале нужно определиться с компилятором и ОС, под которой будут разрабатываться драйвера. Вы что планируете использовать?

Из личного опыта: Linux + make + gcc + UDK2014 headers/uClibc + преобразователь ELF=>PE32+.
Причина такого маршрута в основном в большой избыточности библиотек и неудобстве среды сборки UDK.

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

Конечная цель - что бы в UEFI BIOS до загрузки системы была возможность настроить своё железо, т.е. создать свое меню с настройками, создать свой образ UEFI BIOS загрузки.

1. Меню на этапе начального запуска самого драйвера (DXE) по сути невозможно, т.к. на этом этапе консоль может быть еще не проинициализирована.
2. Меню на этапе загрузки то еще приключение, т.к. глюков у UEFI BIOS даже в рамках одной платформы Aptio хватает.
3. Есть вариант вызова интерфейса конфигурирования драйвера из интерфейса конфигурирования системного BIOS, но на десктопах это большая редкость. В основном встречается на серверах.

Поэтому если есть возможность конфигурировать из ОС, а инициализировать из драйвера UEFI BIOS в соответствии с заданными ранее настройками, то лучше сделать так и не мучиться с консолью под UEFI BIOS.