3 kern/kern_clocksource.c standard
5 arm/altera/socfpga/socfpga_common.c standard
6 arm/altera/socfpga/socfpga_machdep.c standard
7 arm/altera/socfpga/socfpga_manager.c standard
8 arm/altera/socfpga/socfpga_rstmgr.c standard
9 arm/altera/socfpga/socfpga_mp.c optional smp
10 arm/altera/socfpga/socfpga_gpio.c optional gpio
12 dev/mmc/host/dwmmc.c optional dwmmc
15 arm/altera/socfpga/socfpga_a10_manager.c standard
18 dev/beri/beri_ring.c optional beri_ring
19 dev/beri/beri_mem.c optional beri_mem
20 dev/beri/virtio/virtio.c optional beri_vtblk | vtbe
21 dev/beri/virtio/virtio_block.c optional beri_vtblk
22 dev/beri/virtio/network/if_vtbe.c optional vtbe