SOCKIT-BERI revision 273278
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-BERI 273278 2014-10-19 16:26:49Z br $ 19 20ident SOCKIT-BERI 21include "../altera/socfpga/std.socfpga" 22 23makeoptions MODULES_OVERRIDE="" 24 25makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 26makeoptions WERROR="-Werror" 27 28options HZ=100 29options SCHED_4BSD # 4BSD scheduler 30options INET # InterNETworking 31options INET6 # IPv6 communications protocols 32options GEOM_PART_BSD # BSD partition scheme 33options GEOM_PART_MBR # MBR partition scheme 34options GEOM_PART_GPT # GUID partition tables 35options TMPFS # Efficient memory filesystem 36options FFS # Berkeley Fast Filesystem 37options SOFTUPDATES 38options UFS_ACL # Support for access control lists 39options UFS_DIRHASH # Improve performance on big directories 40options MSDOSFS # MSDOS Filesystem 41options CD9660 # ISO 9660 Filesystem 42options PROCFS # Process filesystem (requires PSEUDOFS) 43options PSEUDOFS # Pseudo-filesystem framework 44options COMPAT_43 # Compatible with BSD 4.3 [KEEP THIS!] 45options SCSI_DELAY=5000 # Delay (in ms) before probing SCSI 46options KTRACE 47options SYSVSHM # SYSV-style shared memory 48options SYSVMSG # SYSV-style message queues 49options SYSVSEM # SYSV-style semaphores 50options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions 51options KBD_INSTALL_CDEV 52options PREEMPTION 53options FREEBSD_BOOT_LOADER 54options VFP # vfp/neon 55 56options SMP 57 58# Debugging 59makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 60options BREAK_TO_DEBUGGER 61#options VERBOSE_SYSINIT # Enable verbose sysinit messages 62options KDB 63options DDB # Enable the kernel debugger 64options INVARIANTS # Enable calls of extra sanity checking 65options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 66#options WITNESS # Enable checks to detect deadlocks and cycles 67#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 68#options DIAGNOSTIC 69 70# NFS support 71options NFSCL # Network Filesystem Client 72options NFSLOCKD # Network Lock Manager 73options NFS_ROOT # NFS usable as /, requires NFSCLIENT 74 75# Uncomment this for NFS root 76#options NFS_ROOT # NFS usable as /, requires NFSCL 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/mmcsd0s4\" 88 89# Pseudo devices 90 91device loop 92device random 93device pty 94device md 95device gpio 96 97# USB support 98options USB_HOST_ALIGN=64 # Align usb buffers to cache line size. 99device usb 100options USB_DEBUG 101#options USB_REQ_DEBUG 102#options USB_VERBOSE 103#device musb 104device dwcotg 105 106device umass 107device scbus # SCSI bus (required for ATA/SCSI) 108device da # Direct Access (disks) 109device pass 110 111# Serial ports 112device uart 113device uart_ns8250 114 115# I2C (TWSI) 116device iic 117device iicbus 118 119# SPI 120device spibus 121 122# BERI specific 123device beri_ring 124 125# Ethernet 126device ether 127device mii 128device smsc 129device smscphy 130device dwc 131 132# USB ethernet support, requires miibus 133device miibus 134device axe # ASIX Electronics USB Ethernet 135device bpf # Berkeley packet filter 136 137#FDT 138options FDT 139options FDT_DTB_STATIC 140makeoptions FDT_DTS_FILE=socfpga-sockit-beri.dts 141