text: /*
   * Copyright (C) 2020 Intel Corporation. All rights reserved.
   *
   * SPDX-License-Identifier: BSD-3-Clause
   */
  #ifndef VM_CONFIGURATIONS_H
  #define VM_CONFIGURATIONS_H
  
  #include <misc_cfg.h>
  #include <pci_devices.h>
  
  /* SOS_VM_NUM can only be 0U or 1U;
   * When SOS_VM_NUM is 0U, MAX_POST_VM_NUM must be 0U too;
   * MAX_POST_VM_NUM must be bigger than CONFIG_MAX_KATA_VM_NUM;
   */
  #define PRE_VM_NUM			1U
  #define SOS_VM_NUM			1U
  #define MAX_POST_VM_NUM			2U
  #define CONFIG_MAX_KATA_VM_NUM		0U
  
  /* Bits mask of guest flags that can be programmed by device model. Other bits are set by hypervisor only */
  #define DM_OWNED_GUEST_FLAG_MASK        (GUEST_FLAG_SECURE_WORLD_ENABLED | GUEST_FLAG_LAPIC_PASSTHROUGH | \
  						GUEST_FLAG_RT | GUEST_FLAG_IO_COMPLETION_POLLING)
  
  #define VM0_CONFIG_MEM_START_HPA        0x100000000UL
  #define VM0_CONFIG_MEM_SIZE             0x40000000UL
  #define VM0_CONFIG_MEM_START_HPA2       0x0UL
  #define VM0_CONFIG_MEM_SIZE_HPA2        0x0UL
  
  /* SOS_VM == VM1 */
  #define SOS_VM_BOOTARGS			SOS_ROOTFS	\
  					SOS_CONSOLE	\
  					SOS_IDLE	\
  					SOS_BOOTARGS_DIFF
  
  #endif /* VM_CONFIGURATIONS_H */
  