1# $FreeBSD$ 2 3kern/kern_clocksource.c standard 4 5arm/altera/socfpga/socfpga_common.c standard 6arm/altera/socfpga/socfpga_machdep.c standard 7arm/altera/socfpga/socfpga_manager.c standard 8arm/altera/socfpga/socfpga_rstmgr.c standard 9arm/altera/socfpga/socfpga_mp.c optional smp 10arm/altera/socfpga/socfpga_gpio.c optional gpio 11 12dev/mmc/host/dwmmc.c optional dwmmc 13dev/mmc/host/dwmmc_altera.c optional dwmmc 14 15# Arria 10 16arm/altera/socfpga/socfpga_a10_manager.c standard 17 18# BERI specific 19dev/beri/beri_ring.c optional beri_ring 20dev/beri/beri_mem.c optional beri_mem 21dev/beri/virtio/virtio.c optional beri_vtblk | vtbe 22dev/beri/virtio/virtio_block.c optional beri_vtblk 23dev/beri/virtio/network/if_vtbe.c optional vtbe 24