/*++
|
|
Copyright (c) 2004 - 2014, Intel Corporation. All rights reserved.<BR>
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
|
|
Module Name:
|
PlatformInfoDxe.h
|
|
Abstract:
|
Platform Info Driver.
|
|
--*/
|
|
#ifndef _PLATFORM_INFO_DRIVER_H_
|
#define _PLATFORM_INFO_DRIVER_H_
|
|
#include <PiDxe.h>
|
#include <Library/HobLib.h>
|
#include <Guid/PlatformInfo.h>
|
#include <Guid/GlobalVariable.h>
|
#include <Library/UefiRuntimeServicesTableLib.h>
|
#include <Guid/Vlv2Variable.h>
|
#include <Library/BaseMemoryLib.h>
|
#include <SetupMode.h>
|
#include <Guid/OsSelection.h>
|
#include <Guid/SetupVariable.h>
|
#endif
|
