SOCKIT revision 276003
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: head/sys/arm/conf/SOCKIT 276003 2014-12-21 11:37:00Z andrew $ 20 21ident SOCKIT 22include "../altera/socfpga/std.socfpga" 23 24makeoptions MODULES_OVERRIDE="" 25 26makeoptions WERROR="-Werror" 27 28options HZ=100 29options SCHED_4BSD # 4BSD scheduler 30options PREEMPTION # Enable kernel thread preemption 31options INET # InterNETworking 32options INET6 # IPv6 communications protocols 33options SCTP # Stream Control Transmission Protocol 34options FFS # Berkeley Fast Filesystem 35options SOFTUPDATES # Enable FFS soft updates support 36options UFS_ACL # Support for access control lists 37options UFS_DIRHASH # Improve performance on big directories 38options UFS_GJOURNAL # Enable gjournal-based UFS journaling 39options QUOTA # Enable disk quotas for UFS 40options NFSCL # New Network Filesystem Client 41options NFSLOCKD # Network Lock Manager 42options NFS_ROOT # NFS usable as /, requires NFSCL 43options MSDOSFS # MSDOS Filesystem 44options CD9660 # ISO 9660 Filesystem 45options PROCFS # Process filesystem (requires PSEUDOFS) 46options PSEUDOFS # Pseudo-filesystem framework 47options TMPFS # Efficient memory filesystem 48options GEOM_PART_GPT # GUID Partition Tables 49options GEOM_PART_BSD # BSD partition scheme 50options GEOM_PART_MBR # MBR partition scheme 51options COMPAT_43 # Compatible with BSD 4.3 [KEEP THIS!] 52options SCSI_DELAY=5000 # Delay (in ms) before probing SCSI 53options KTRACE # ktrace(1) support 54options SYSVSHM # SYSV-style shared memory 55options SYSVMSG # SYSV-style message queues 56options SYSVSEM # SYSV-style semaphores 57options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions 58options KBD_INSTALL_CDEV # install a CDEV entry in /dev 59options FREEBSD_BOOT_LOADER # Process metadata passed from loader(8) 60options VFP # Enable floating point hardware support 61options SMP # Enable multiple cores 62 63# Debugging for use in -current 64makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 65options BREAK_TO_DEBUGGER 66#options VERBOSE_SYSINIT # Enable verbose sysinit messages 67options KDB # Enable kernel debugger support 68# For minimum debugger support (stable branch) use: 69#options KDB_TRACE # Print a stack trace for a panic 70# For full debugger support use this instead: 71options DDB # Enable the kernel debugger 72options INVARIANTS # Enable calls of extra sanity checking 73options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 74#options WITNESS # Enable checks to detect deadlocks and cycles 75#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 76#options DIAGNOSTIC 77 78# NFS root from boopt/dhcp 79#options BOOTP 80#options BOOTP_NFSROOT 81#options BOOTP_COMPAT 82#options BOOTP_NFSV3 83#options BOOTP_WIRED_TO=ue0 84 85options ROOTDEVNAME=\"ufs:/dev/da0\" 86 87# MMC/SD/SDIO Card slot support 88device mmc # mmc/sd bus 89device mmcsd # mmc/sd flash cards 90device dwmmc 91 92# Pseudo devices 93 94device loop 95device random 96device pty 97device md 98device gpio 99 100# USB support 101options USB_HOST_ALIGN=64 # Align usb buffers to cache line size. 102device usb 103options USB_DEBUG 104#options USB_REQ_DEBUG 105#options USB_VERBOSE 106#device musb 107device dwcotg 108 109device umass 110device scbus # SCSI bus (required for ATA/SCSI) 111device da # Direct Access (disks) 112device pass 113 114# Serial ports 115device uart 116device uart_ns8250 117 118# I2C (TWSI) 119device iic 120device iicbus 121 122# SPI 123device spibus 124 125# Ethernet 126device ether 127device mii 128device smsc 129device smscphy 130device dwc 131device micphy 132 133# USB ethernet support, requires miibus 134device miibus 135device axe # ASIX Electronics USB Ethernet 136device bpf # Berkeley packet filter 137 138# Flattened Device Tree 139options FDT # Configure using FDT/DTB data 140options FDT_DTB_STATIC 141makeoptions FDT_DTS_FILE=socfpga-sockit.dts 142