1# 2# Kernel configuration for Altera SOCFPGA development kits. 3# 4# For more information on this file, please read the config(5) manual page, 5# and/or the handbook section on Kernel Configuration Files: 6# 7# https://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 8# 9# The handbook is also available locally in /usr/share/doc/handbook 10# if you've installed the doc distribution, otherwise always see the 11# FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the 12# latest information. 13# 14# An exhaustive list of options and more detailed explanations of the 15# device lines is also present in the ../../conf/NOTES and NOTES files. 16# If you are in doubt as to the purpose or necessity of a line, check first 17# in NOTES. 18# 19# $FreeBSD$ 20 21ident SOCFPGA 22include "std.armv7" 23include "../altera/socfpga/std.socfpga" 24 25makeoptions MODULES_OVERRIDE="" 26 27options SCHED_ULE # ULE scheduler 28options PLATFORM # Platform based SoC 29options SMP # Enable multiple cores 30 31options SOC_ALTERA_ARRIA10 32options SOC_ALTERA_CYCLONE5 33 34# NFS root from boopt/dhcp 35#options BOOTP 36#options BOOTP_NFSROOT 37#options BOOTP_COMPAT 38#options BOOTP_NFSV3 39#options BOOTP_WIRED_TO=ue0 40 41# Interrupt controller 42device gic 43 44# ARM MPCore timer 45device mpcore_timer 46 47# DMA support 48device xdma 49device pl330 50 51# MMC/SD/SDIO Card slot support 52device mmc # mmc/sd bus 53device mmcsd # mmc/sd flash cards 54device dwmmc 55 56# Pseudo devices 57 58device loop 59device pty 60device md 61device gpio 62 63# USB support 64options USB_HOST_ALIGN=64 # Align usb buffers to cache line size. 65device usb 66device dwcotg 67 68device umass 69device scbus # SCSI bus (required for ATA/SCSI) 70device da # Direct Access (disks) 71device pass 72 73# Serial ports 74device uart 75device uart_snps 76 77# I2C (TWSI) 78device iic 79device iicbus 80 81# SPI 82device spibus 83device cqspi 84device n25q 85 86# Ethernet 87device ether 88device mii 89device smsc 90device smscphy 91device dwc 92device micphy 93 94# USB ethernet support, requires miibus 95device miibus 96device axe # ASIX Electronics USB Ethernet 97device bpf # Berkeley packet filter 98 99# Flattened Device Tree 100options FDT # Configure using FDT/DTB data 101