Intel(R) System Studio (http://intel.ly/system-studio) now supports UEFI BIOS debug not just through JTAG (UEFI Bios Debugging), but also through the EFI Development Kit 2.x (EDKII) as described at http://uefidk.com/develop/development-kit-information and http://sourceforge.net/apps/mediawiki/tianocore/index.php?title=EDK.

To find out more on how the Intel(R) System Debugger included with Intel(R) System Studio have a look at the in-depth article below: