// © 2021 Qualcomm Innovation Center, Inc. All rights reserved.
//
// SPDX-License-Identifier: BSD-3-Clause

module rootvm_package

subscribe rootvm_init(root_partition, root_thread, root_cspace, hyp_env, qcbor_enc_ctxt)
	require_preempt_disabled