KMOD=	vmm-arm

SRCS=	opt_acpi.h opt_ddb.h device_if.h bus_if.h pci_if.h
SRCS+=	hyp_assym.h
DPSRCS=	hyp_genassym.c

CFLAGS+= -DVMM_KEEP_STATS -DSMP
CFLAGS+= -I${.CURDIR}/../../arm/vmm

# generic vmm support
.PATH: ${.CURDIR}/../../arm/vmm
SRCS+=	vmm.c		\
	vmm_dev.c	\
	vmm_instruction_emul.c	\
	vmm_mem.c	\
	mmu.c		\
	vmm_stat.c	\
	arm.c		\
	vgic.c		\
	hyp.S

CLEANFILES=	hyp_assym.h hyp_genassym.o

hyp_assym.h:    hyp_genassym.o
	sh ${SYSDIR}/kern/genassym.sh hyp_genassym.o > ${.TARGET}

hyp_genassym.o:
	${CC} -c ${CFLAGS:N-fno-common} ${.IMPSRC}

.include <bsd.kmod.mk>