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: stable/10/sys/arm/conf/ARNDALE 266332 2014-05-17 17:54:38Z ian $
| 18# $FreeBSD: stable/10/sys/arm/conf/ARNDALE 266341 2014-05-17 19:37:04Z ian $
|
19
| 19
|
| 20include "EXYNOS5250.common"
|
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
|