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/mii/micphy.c optional micphy
13 dev/mmc/host/dwmmc.c optional dwmmc
16 dev/beri/beri_ring.c optional beri_ring
17 dev/beri/beri_mem.c optional beri_mem
18 dev/beri/virtio/virtio.c optional beri_vtblk | vtbe
19 dev/beri/virtio/virtio_block.c optional beri_vtblk
20 dev/beri/virtio/network/if_vtbe.c optional vtbe