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

#include <hypervisor.h>

/* Number of CPUs in VM0 */
#define VM0_NUM_CPUS    1

/* Logical CPU IDs assigned to VM0 */
int VM0_CPUS[VM0_NUM_CPUS] = {0};

struct vm_description vm0_desc = {
	.vm_hw_num_cores = VM0_NUM_CPUS,
	.vm_hw_logical_core_ids = &VM0_CPUS[0],
};