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 0U 14 #define SERVICE_VM_NUM 1U 15 #define MAX_POST_VM_NUM 15U 16 #define MAX_TRUSTY_VM_NUM 0U 17 #define CONFIG_MAX_VM_NUM 16U 18 /* SERVICE_VM == VM0 */ 19 #define SERVICE_VM_OS_BOOTARGS SERVICE_VM_ROOTFS SERVICE_VM_IDLE SERVICE_VM_BOOTARGS_DIFF SERVICE_VM_BOOTARGS_MISC 20 #define MAX_VUART_NUM_PER_VM 5U 21 #define MAX_IR_ENTRIES 256U 22 23 #endif /* VM_CONFIGURATIONS_H */ 24