/** @file
  Definition of EDK2 OpenSBI generic platform wrapper library

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

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

#ifndef EDK2_OPENSBI_PLATFORM_WRAPPER_LIB_
#define EDK2_OPENSBI_PLATFORM_WRAPPER_LIB_

#include <sbi/sbi_platform.h>

extern struct sbi_platform_operations  Edk2OpensbiPlatformOps;

#endif
