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#
| 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 266331 2014-05-17 17:34:37Z ian $
| 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
28options SCHED_4BSD # 4BSD scheduler
29options INET # InterNETworking
30options INET6 # IPv6 communications protocols
31options FFS # Berkeley Fast Filesystem
32options SOFTUPDATES # Enable FFS soft updates support
33options UFS_ACL # Support for access control lists
34options UFS_DIRHASH # Improve performance on big directories
35# options ROOTDEVNAME=\"ufs:mmcsd0s2a\"
36
37options NFSCL # Network Filesystem Client
38# options NFSSD # Network Filesystem Server
39# options NFSLOCKD # Network Lock Manager
40# options NFS_ROOT # NFS usable as /, requires NFSCL
41# options BOOTP_NFSROOT
42# options BOOTP
43
44options GEOM_PART_BSD # BSD partition scheme
45options GEOM_PART_MBR # MBR partition scheme
46options TMPFS # Efficient memory filesystem
47options MSDOSFS # MSDOS Filesystem
48options CD9660 # ISO 9660 Filesystem
49options PROCFS # Process filesystem (requires PSEUDOFS)
50options PSEUDOFS # Pseudo-filesystem framework
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
| 20
21ident ZEDBOARD
22
23include "../xilinx/zedboard/std.zedboard"
24
25makeoptions MODULES_OVERRIDE=""
26makeoptions WITHOUT_MODULES="ahc"
27
28options SCHED_4BSD # 4BSD scheduler
29options INET # InterNETworking
30options INET6 # IPv6 communications protocols
31options FFS # Berkeley Fast Filesystem
32options SOFTUPDATES # Enable FFS soft updates support
33options UFS_ACL # Support for access control lists
34options UFS_DIRHASH # Improve performance on big directories
35# options ROOTDEVNAME=\"ufs:mmcsd0s2a\"
36
37options NFSCL # Network Filesystem Client
38# options NFSSD # Network Filesystem Server
39# options NFSLOCKD # Network Lock Manager
40# options NFS_ROOT # NFS usable as /, requires NFSCL
41# options BOOTP_NFSROOT
42# options BOOTP
43
44options GEOM_PART_BSD # BSD partition scheme
45options GEOM_PART_MBR # MBR partition scheme
46options TMPFS # Efficient memory filesystem
47options MSDOSFS # MSDOS Filesystem
48options CD9660 # ISO 9660 Filesystem
49options PROCFS # Process filesystem (requires PSEUDOFS)
50options PSEUDOFS # Pseudo-filesystem framework
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
|
59
60# Debugging
61makeoptions DEBUG=-g
62options DDB
63options KDB
64# options BREAK_TO_DEBUGGER
65
66# options INVARIANTS # Enable calls of extra sanity checking
67# options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
68# options WITNESS # Enable checks to detect deadlocks and cycles
69# options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
70
71device loop
72device random
73device ether
74device if_cgem # Zynq-7000 gig ethernet device
75device mii
76device pty
77device uart
78device gpio
79
80device md
81device mmc # mmc/sd bus
82device mmcsd # mmc/sd flash cards
83device sdhci # generic sdhci
84device bpf # Berkeley packet filter
85
86# USB support
87device usb
88options USB_DEBUG
89#options USB_REQ_DEBUG
90#options USB_VERBOSE
91device ehci
92device umass
93device scbus # SCSI bus (required for SCSI)
94device da # Direct Access (disks)
95device axe # USB-Ethernet
96
97
98# Flattened Device Tree
99options FDT
100# options FDT_DTB_STATIC
101# makeoptions FDT_DTS_FILE=zedboard.dts
102
| 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
68# options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
69# options WITNESS # Enable checks to detect deadlocks and cycles
70# options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
71
72device loop
73device random
74device ether
75device if_cgem # Zynq-7000 gig ethernet device
76device mii
77device pty
78device uart
79device gpio
80
81device md
82device mmc # mmc/sd bus
83device mmcsd # mmc/sd flash cards
84device sdhci # generic sdhci
85device bpf # Berkeley packet filter
86
87# USB support
88device usb
89options USB_DEBUG
90#options USB_REQ_DEBUG
91#options USB_VERBOSE
92device ehci
93device umass
94device scbus # SCSI bus (required for SCSI)
95device da # Direct Access (disks)
96device axe # USB-Ethernet
97
98
99# Flattened Device Tree
100options FDT
101# options FDT_DTB_STATIC
102# makeoptions FDT_DTS_FILE=zedboard.dts
103
|