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 random 60device pty 61device md 62device gpio 63 64# USB support 65options USB_HOST_ALIGN=64 # Align usb buffers to cache line size. 66device usb 67device dwcotg 68 69device umass 70device scbus # SCSI bus (required for ATA/SCSI) 71device da # Direct Access (disks) 72device pass 73 74# Serial ports 75device uart 76device uart_snps 77 78# I2C (TWSI) 79device iic 80device iicbus 81 82# SPI 83device spibus 84device cqspi 85device n25q 86 87# Ethernet 88device ether 89device mii 90device smsc 91device smscphy 92device dwc 93device micphy 94 95# USB ethernet support, requires miibus 96device miibus 97device axe # ASIX Electronics USB Ethernet 98device bpf # Berkeley packet filter 99 100# Flattened Device Tree 101options FDT # Configure using FDT/DTB data 102