• Table of Contents
• ShellPkg (UEFI Shell 2.x)
• Getting ShellPkg
• ShellPkg versus ShellBinPkg
• UEFI Shell 2.x Engineering Resources
• UEFI Shell Specifications (uefi.org)
• ShellPkg versus EdkShellPkg