• Table of Contents
• Backgound
• EFI binary format
• Topology of the UEFI Firmware File
• Hardware Debugger & Printed Debug Command lines
• Debugging code when the 'Debug Command lines' are printed into the serial console
• Debugging initial bring-up code (SEC phase)