1/*
2 * Copyright (c) 2022 Arm Limited (or its affiliates). All rights reserved.
3 * SPDX-License-Identifier: Apache-2.0
4 */
5
6#include "xenvm.dts"
7
8&gic {
9 compatible = "arm,gic-v3", "arm,gic";
10 reg = <0x00 0x3001000 0x00 0x10000 0x00 0x3020000 0x00 0x1000000>;
11};
12
