add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
6
7
8
9
10
# 
#  Copyright (c) 2020, ARM Limited. All rights reserved. 
# 
#  SPDX-License-Identifier: BSD-2-Clause-Patent 
# 
 
# Per-platform additional content of the DXE phase firmware volume 
 
  # ACPI support 
  INF RuleOverride=ACPITABLE Platform/ARM/SgiPkg/AcpiTables/RdE1EdgeAcpiTables.inf