1# Kernel configuration for Terasic SoCKit (Altera Cyclone V SoC). 2# 3# For more information on this file, please read the config(5) manual page, 4# and/or the handbook section on Kernel Configuration Files: 5# 6# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 7# 8# The handbook is also available locally in /usr/share/doc/handbook 9# if you've installed the doc distribution, otherwise always see the 10# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the 11# latest information. 12# 13# An exhaustive list of options and more detailed explanations of the 14# device lines is also present in the ../../conf/NOTES and NOTES files. 15# If you are in doubt as to the purpose or necessity of a line, check first 16# in NOTES. 17# |
18# $FreeBSD: head/sys/arm/conf/SOCKIT 272712 2014-10-07 17:39:30Z br $ |
19 20ident SOCKIT 21include "../altera/socfpga/std.socfpga" 22 23makeoptions MODULES_OVERRIDE="" 24 25makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 26makeoptions WERROR="-Werror" --- 50 unchanged lines hidden (view full) --- 77#options BOOTP_NFSROOT 78#options BOOTP_COMPAT 79#options BOOTP 80#options BOOTP_NFSV3 81#options BOOTP_WIRED_TO=ue0 82 83device mmc # mmc/sd bus 84device mmcsd # mmc/sd flash cards |
85device dwmmc |
86 87options ROOTDEVNAME=\"ufs:/dev/da0\" 88 89# Pseudo devices 90 91device loop 92device random 93device pty --- 44 unchanged lines hidden --- |