Если есть слюникс, то все еще проще. http://gnu-efi.sourceforge.net/ Поддерживает архитектуры

Если есть слюникс, то все еще проще.

gnu-efi.sourceforge.net/

Поддерживает архитектуры IA-64, x86, x86_64.
Внимание я пробовал только с IA-64 (Itanium)-машинкой.
Сейчас лень доставать, вспоминать, но там все ОЧЕНЬ просто.

В ридми описано. Позволяет девелопить на обычном C, компиляет
соответственно твикнутым gcc. Все что отличается, так это имя
процедуры точки входа, efi_main() или как-то так

Кстати, под ia64 в риалтайме никак не поотлаживаешь, без загрузки
в родную среду, tiancore не умеет ia64 трогать. Максимум - вывод
objdump'а в виде итаниумного ассемблера, все

Вот и задание, напиши в качестве модуля интерактивный отладчик