/*
 * Copyright (C) 2020 Intel Corporation. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef BOARD_INFO_H
#define BOARD_INFO_H

#define MAX_PCPU_NUM			4U
#define MAX_VMSIX_ON_MSI_PDEVS_NUM	0U
#define MAX_HIDDEN_PDEVS_NUM		0U

#define HI_MMIO_START			~0UL
#define HI_MMIO_END			0UL
#define HI_MMIO_SIZE			0x0UL

#endif /* BOARD_INFO_H */