#	$OpenBSD: files.vexpress,v 1.7 2016/08/31 16:19:40 jsg Exp $

define vexpress {}
device vexpress: vexpress
attach vexpress at fdt
file	arch/armv7/vexpress/vexpress_machdep.c	vexpress needs-flag
file	arch/armv7/vexpress/vexpress.c		vexpress
file	arch/armv7/vexpress/vexpress_a9.c	vexpress
file	arch/armv7/vexpress/vexpress_a15.c	vexpress

attach	virtio at fdt with virtio_mmio
file	arch/armv7/vexpress/virtio_mmio.c	virtio_mmio

device sysreg
attach sysreg at vexpress
file	arch/armv7/vexpress/sysreg.c	sysreg