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#
| 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 272896 2014-10-10 14:35:51Z br $
| 18# $FreeBSD: head/sys/arm/conf/SOCKIT 273380 2014-10-21 09:14:16Z br $
|
19
20ident SOCKIT
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/da0\"
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# Ethernet
123device ether
124device mii
125device smsc
126device smscphy
127device dwc
| 19
20ident SOCKIT
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/da0\"
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# Ethernet
123device ether
124device mii
125device smsc
126device smscphy
127device dwc
|
| 128device micphy
|
128
129# USB ethernet support, requires miibus
130device miibus
131device axe # ASIX Electronics USB Ethernet
132device bpf # Berkeley packet filter
133
134#FDT
135options FDT
136options FDT_DTB_STATIC
137makeoptions FDT_DTS_FILE=socfpga-sockit.dts
| 129
130# USB ethernet support, requires miibus
131device miibus
132device axe # ASIX Electronics USB Ethernet
133device bpf # Berkeley packet filter
134
135#FDT
136options FDT
137options FDT_DTB_STATIC
138makeoptions FDT_DTS_FILE=socfpga-sockit.dts
|