/*
 * Copyright (C) 2025 Intel Corporation.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#include <vm.h>
#include <reloc.h>
#include <vm_config.h>

void init_service_vm_vfdt(struct acrn_vm *vm)
{
	/* TODO: to be implemented */
	(void)vm;
}