/*++

Copyright (c) 2025, ARM Limited. All rights reserved.

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

Module Name:

  ArmGicV5.c

Abstract:

  Driver implementing the GICv5 interrupt controller protocol

--*/

#include "ArmGicDxe.h"

EFI_STATUS
GicV5DxeInitialize (
  VOID
  )
{
  return EFI_UNSUPPORTED;
}
