SRCS+=	\
	fdt.c		\
	rtc_pl031.c	\
	uart_pl011.c

.PATH:  ${BHYVE_SYSDIR}/sys/arm64/vmm
SRCS+=	vmm_instruction_emul.c

BHYVE_FDT_SUPPORT=
BHYVE_GDB_SUPPORT=