**/\r
\r
#include <Library/UefiLib.h>\r
+#include <Library/DebugLib.h>\r
+#include <Library/ArmShellCmdLib.h>\r
\r
EFI_STATUS\r
EFIAPI\r
IN EFI_SYSTEM_TABLE *SystemTable\r
)\r
{\r
- return EFI_SUCCESS;\r
+ EFI_STATUS Status;\r
+\r
+ // Install dynamic Shell command to run baremetal binaries.\r
+ Status = ShellDynCmdRunAxfInstall (ImageHandle);\r
+ if (EFI_ERROR (Status)) {\r
+ DEBUG ((EFI_D_ERROR, "ArmHwDxe: Failed to install ShellDynCmdRunAxf\n"));\r
+ }\r
+\r
+ return Status;\r
}\r