# SPDX-License-Identifier: GPL-2.0-only userprogs-always-y += gunyah_vmm dtb-y += sample_vm.dtb userccflags += -I usr/include
