1# Kernel configuration for Arndale Board (Exynos5 Dual development platform). 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#
| 1# Kernel configuration for Arndale Board (Exynos5 Dual development platform). 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/ARNDALE 263424 2014-03-20 17:01:21Z br $
| 18# $FreeBSD: head/sys/arm/conf/ARNDALE 263933 2014-03-30 14:25:14Z br $
|
19
| 19
|
| 20include "EXYNOS5250"
|
20ident ARNDALE 21
| 21ident ARNDALE 22
|
22include "../samsung/exynos/std.exynos5" 23 24makeoptions MODULES_OVERRIDE="" 25makeoptions WITHOUT_MODULES="ahc" 26 27makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 28makeoptions WERROR="-Werror" 29 30options HZ=100 31options SCHED_4BSD # 4BSD scheduler 32options INET # InterNETworking 33options INET6 # IPv6 communications protocols 34options GEOM_PART_BSD # BSD partition scheme 35options GEOM_PART_MBR # MBR partition scheme 36options TMPFS # Efficient memory filesystem 37options FFS # Berkeley Fast Filesystem 38options SOFTUPDATES 39options UFS_ACL # Support for access control lists 40options UFS_DIRHASH # Improve performance on big directories 41options MSDOSFS # MSDOS Filesystem 42options CD9660 # ISO 9660 Filesystem 43options PROCFS # Process filesystem (requires PSEUDOFS) 44options PSEUDOFS # Pseudo-filesystem framework 45options COMPAT_43 # Compatible with BSD 4.3 [KEEP THIS!] 46options SCSI_DELAY=5000 # Delay (in ms) before probing SCSI 47options KTRACE 48options SYSVSHM # SYSV-style shared memory 49options SYSVMSG # SYSV-style message queues 50options SYSVSEM # SYSV-style semaphores 51options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions 52options KBD_INSTALL_CDEV 53options PREEMPTION 54options FREEBSD_BOOT_LOADER 55options VFP # vfp/neon 56 57# Debugging 58makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 59options BREAK_TO_DEBUGGER 60#options VERBOSE_SYSINIT # Enable verbose sysinit messages 61options KDB 62options DDB # Enable the kernel debugger 63#options INVARIANTS # Enable calls of extra sanity checking 64#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 65#options WITNESS # Enable checks to detect deadlocks and cycles 66#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 67#options DIAGNOSTIC 68 69# NFS support 70options NFSCL # Network Filesystem Client 71options NFSLOCKD # Network Lock Manager 72options NFS_ROOT # NFS usable as /, requires NFSCLIENT 73 74# Uncomment this for NFS root 75#options NFS_ROOT # NFS usable as /, requires NFSCL 76#options BOOTP_NFSROOT 77#options BOOTP_COMPAT 78#options BOOTP 79#options BOOTP_NFSV3 80#options BOOTP_WIRED_TO=cpsw0 81 82device mmc # mmc/sd bus 83device mmcsd # mmc/sd flash cards 84device sdhci # generic sdhci 85 86options ROOTDEVNAME=\"ufs:/dev/da0\" 87 88#options SMP 89 90# Pseudo devices 91 92device loop 93device random 94device pty 95device md 96device gpio 97 98# USB support 99options USB_HOST_ALIGN=64 # Align usb buffers to cache line size. 100device usb 101options USB_DEBUG 102#options USB_REQ_DEBUG 103#options USB_VERBOSE 104#device musb 105device ehci 106#device ohci 107 108device umass 109device scbus # SCSI bus (required for SCSI) 110device da # Direct Access (disks) 111device pass 112 113# SATA 114#device ata 115#device atadisk 116#device mvs 117 118# Serial ports 119device uart 120 121# I2C (TWSI) 122#device iic 123#device iicbus 124 125# Ethernet 126device ether 127device mii 128device smsc 129device smscphy 130 131# USB ethernet support, requires miibus 132device miibus 133device axe # ASIX Electronics USB Ethernet 134device bpf # Berkeley packet filter 135
| |
136#FDT 137options FDT 138options FDT_DTB_STATIC 139makeoptions FDT_DTS_FILE=exynos5250-arndale.dts
| 23#FDT 24options FDT 25options FDT_DTB_STATIC 26makeoptions FDT_DTS_FILE=exynos5250-arndale.dts
|