/*
 * Copyright (C) 2022 Intel Corporation.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef BOARD_INFO_H
#define BOARD_INFO_H

#define MAX_HIDDEN_PDEVS_NUM          0U
#define MAX_PCPU_NUM                  4U
#define MAX_VMSIX_ON_MSI_PDEVS_NUM    0U
#define MAXIMUM_PA_WIDTH              39U
#define MMIO32_START                  0X50400000UL
#define MMIO32_END                    0XC0000000UL
#define MMIO64_START                  0X4000000000UL
#define MMIO64_END                    0X8000000000UL
#define HI_MMIO_START                 0X4000000000UL
#define HI_MMIO_END                   0X8000000000UL

#endif /* BOARD_INFO_H */
