ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmHwDxe.c

   1 /** @file
   2
   3   Copyright (c) 2013-2015, ARM Ltd. All rights reserved.<BR>
   4
   5   This program and the accompanying materials
   6   are licensed and made available under the terms and conditions of the BSD License
   7   which accompanies this distribution.  The full text of the license may be found at
   8   http://opensource.org/licenses/bsd-license.php
   9
  10   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  12
  13 **/
  14
  15 #include <Library/ArmShellCmdLib.h>
  16 #include <Library/DebugLib.h>
  17
  18 /**
  19  * Generic UEFI Entrypoint for 'ArmHwDxe' driver
  20  * See UEFI specification for the details of the parameters
  21  */
  22 EFI_STATUS
  23 EFIAPI
  24 ArmHwInitialise (
  25   IN EFI_HANDLE         ImageHandle,
  26   IN EFI_SYSTEM_TABLE   *SystemTable
  27   )
  28 {
  29   EFI_STATUS  Status;
  30
  31   // Install dynamic Shell command to run baremetal binaries.
  32   Status = ShellDynCmdRunAxfInstall (ImageHandle);
  33   if (EFI_ERROR (Status)) {
  34     DEBUG ((EFI_D_ERROR, "ArmHwDxe: Failed to install ShellDynCmdRunAxf\n"));
  35   }
  36
  37   return Status;
  38 }