1 /* 2 * Copyright (C) 2022 Intel Corporation. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef VM_CONFIGURATIONS_H 8 #define VM_CONFIGURATIONS_H 9 10 #include <misc_cfg.h> 11 #include <pci_devices.h> 12 /* SERVICE_VM_NUM can only be 0 or 1; When SERVICE_VM_NUM is 1, MAX_POST_VM_NUM must be 0 too. */ 13 #define PRE_VM_NUM 2U 14 #define SERVICE_VM_NUM 0U 15 #define MAX_POST_VM_NUM 14U 16 #define MAX_TRUSTY_VM_NUM 0U 17 #define CONFIG_MAX_VM_NUM 16U 18 #define MAX_VUART_NUM_PER_VM 2U 19 #define MAX_IR_ENTRIES 256U 20 21 #endif /* VM_CONFIGURATIONS_H */ 22