• Home
Name Date Size #Lines LOC

..--

DebugAgentDxe/03-May-2024-241167

DebugAgentPei/03-May-2024-14191

Include/03-May-2024-904509

Library/03-May-2024-14,6569,002

Contributions.txtD03-May-202410.6 KiB219189

License.txtD03-May-20241.3 KiB2622

Readme.txtD03-May-2024312 75

SourceLevelDebugPkg.decD03-May-20246.3 KiB11799

SourceLevelDebugPkg.dscD03-May-20246.2 KiB113104

SourceLevelDebugPkg.uniD03-May-20248.5 KiB9468

SourceLevelDebugPkgExtra.uniD03-May-2024686 1917

Readme.txt

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