/** @file
|
*
|
* Copyright (c) 2018, ARM Limited. All rights reserved.
|
*
|
* SPDX-License-Identifier: BSD-2-Clause-Patent
|
*
|
**/
|
|
#include <Library/AcpiLib.h>
|
#include <Library/DebugLib.h>
|
#include <Library/HobLib.h>
|
#include <SgiPlatform.h>
|
|
VOID
|
InitVirtioDevices (
|
VOID
|
);
|
|
EFI_STATUS
|
EFIAPI
|
ArmSgiPkgEntryPoint (
|
IN EFI_HANDLE ImageHandle,
|
IN EFI_SYSTEM_TABLE *SystemTable
|
)
|
{
|
EFI_STATUS Status;
|
|
Status = LocateAndInstallAcpiFromFv (&gArmSgiAcpiTablesGuid);
|
if (EFI_ERROR (Status)) {
|
DEBUG ((DEBUG_ERROR, "%a: Failed to install ACPI tables\n", __FUNCTION__));
|
return Status;
|
}
|
|
InitVirtioDevices ();
|
|
return Status;
|
}
|
