Для отладки EFI Byte Code или EBC-приложений непосредственно в среде UEFI, компания Intel предлагает отладчик EBC Debugger, доступный для загрузки на официальном сайте UEFI.
Хороший пример программирования в кодах EFI Byte Code, позволяющий чуть дальше продвинуться на пути познания добра и зла UEFI по сравнению с классическим примером Hello, EBC (о нем сказано здесь).