SOCKIT.common revision 302915
1# 2# Kernel configuration for Terasic SoCKit (Altera Cyclone V SoC). 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# http://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 (http://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: stable/11/sys/arm/conf/SOCKIT.common 302915 2016-07-15 21:30:19Z ian $ 20 21include "std.armv6" 22include "../altera/socfpga/std.socfpga" 23 24makeoptions MODULES_OVERRIDE="" 25 26makeoptions WERROR="-Werror" 27 28options HZ=100 29options SCHED_ULE # ULE scheduler 30options SMP # Enable multiple cores 31 32# NFS root from boopt/dhcp 33#options BOOTP 34#options BOOTP_NFSROOT 35#options BOOTP_COMPAT 36#options BOOTP_NFSV3 37#options BOOTP_WIRED_TO=ue0 38 39# Interrupt controller 40device gic 41options INTRNG 42 43# ARM MPCore timer 44device mpcore_timer 45 46# MMC/SD/SDIO Card slot support 47device mmc # mmc/sd bus 48device mmcsd # mmc/sd flash cards 49device dwmmc 50 51# Pseudo devices 52 53device loop 54device random 55device pty 56device md 57device gpio 58 59# USB support 60options USB_HOST_ALIGN=64 # Align usb buffers to cache line size. 61device usb 62#device musb 63device dwcotg 64 65device umass 66device scbus # SCSI bus (required for ATA/SCSI) 67device da # Direct Access (disks) 68device pass 69 70# Serial ports 71device uart 72device uart_ns8250 73 74# I2C (TWSI) 75device iic 76device iicbus 77 78# SPI 79device spibus 80 81# Ethernet 82device ether 83device mii 84device smsc 85device smscphy 86device dwc 87device micphy 88 89# USB ethernet support, requires miibus 90device miibus 91device axe # ASIX Electronics USB Ethernet 92device bpf # Berkeley packet filter 93 94# Flattened Device Tree 95options FDT # Configure using FDT/DTB data 96