1UDK based firmware on UEFI IA-32 and UEFI x64 platforms can be debugged with 2SourceLevelDebugPkg in conjunction with Intel(R) UEFI Development Kit Debugger 3Tool (Intel (R) UDK Debugger Tool). 4 5The Intel(R) UDK Debugger Tool and its detailed user manual can be obtained 6from: http://www.uefidk.com/develop. 7