1# ZEDBOARD -- Custom configuration for the Xilinx Zynq-7000 based 2# ZedBoard (www.zedboard.org) 3# 4# For more information on this file, please read the handbook section on 5# 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/10/sys/arm/conf/ZEDBOARD 266379 2014-05-17 23:25:20Z ian $ |
20 21ident ZEDBOARD 22 23include "../xilinx/zedboard/std.zedboard" 24 25makeoptions MODULES_OVERRIDE="" 26makeoptions WITHOUT_MODULES="ahc" 27 --- 23 unchanged lines hidden (view full) --- 51options SCSI_DELAY=5000 # Delay (in ms) before probing SCSI 52options KTRACE # ktrace(1) support 53options SYSVSHM # SYSV-style shared memory 54options SYSVMSG # SYSV-style message queues 55options SYSVSEM # SYSV-style semaphores 56options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions 57options FREEBSD_BOOT_LOADER 58options VFP # vfp/neon |
59options SMP # Symmetric MultiProcessor Kernel |
60 61# Debugging 62makeoptions DEBUG=-g 63options DDB 64options KDB 65# options BREAK_TO_DEBUGGER 66 67# options INVARIANTS # Enable calls of extra sanity checking --- 36 unchanged lines hidden --- |