1# $FreeBSD$ 2 3kern/kern_clocksource.c standard 4 5arm/arm/bus_space_generic.c standard 6arm/arm/bus_space_asm_generic.S standard 7arm/arm/cpufunc_asm_arm11.S standard 8arm/arm/cpufunc_asm_armv7.S standard 9 10arm/arm/bus_space_base.c standard 11arm/arm/gic.c standard 12arm/arm/mpcore_timer.c standard 13 14arm/altera/socfpga/socfpga_common.c standard 15arm/altera/socfpga/socfpga_machdep.c standard 16arm/altera/socfpga/socfpga_manager.c standard 17arm/altera/socfpga/socfpga_rstmgr.c standard 18arm/altera/socfpga/socfpga_mp.c optional smp 19arm/altera/socfpga/socfpga_gpio.c optional gpio 20 21dev/dwc/if_dwc.c optional dwc 22dev/mii/micphy.c optional micphy 23dev/mmc/host/dwmmc.c optional dwmmc 24 25# BERI specific 26dev/beri/beri_ring.c optional beri_ring 27dev/beri/beri_mem.c optional beri_mem 28dev/beri/virtio/virtio.c optional beri_vtblk | vtbe 29dev/beri/virtio/virtio_block.c optional beri_vtblk 30dev/beri/virtio/network/if_vtbe.c optional vtbe 31