/** @file
  library definition to provide platform_override of special platforms.
  This library incorporates with OpensbiPlatformLib and RISC-V Opensbi library

  Copyright (c) 2021, Hewlett Packard Enterprise Development LP. All rights reserved.<BR>

  SPDX-License-Identifier: BSD-2-Clause-Patent
**/

#ifndef RISCV_SPECIAL_PLATFORM_LIB_
#define RISCV_SPECIAL_PLATFORM_LIB_

#include <PiPei.h>

//
// This is declared under Silicon/RISC-V/ProcessorPkg/Library/RiscVOpensbiLib/opensbi/platform/generic/include/
//
#include <platform_override.h>

#endif
