2 # Custom kernel for Marvell SheevaPlug devices.
10 include "../mv/kirkwood/std.db88f6xxx"
12 options SOC_MV_KIRKWOOD
14 makeoptions WERROR="-Werror"
17 options SCHED_4BSD # 4BSD scheduler
18 options INET # InterNETworking
19 options INET6 # IPv6 communications protocols
20 options FFS # Berkeley Fast Filesystem
21 options NANDFS # NAND Filesystem
22 options NFSCL # Network Filesystem Client
23 options NFSLOCKD # Network Lock Manager
24 options NFS_ROOT # NFS usable as /, requires NFSCL
25 options TMPFS # Efficient memory filesystem
26 options GEOM_PART_BSD # BSD partition scheme
27 options GEOM_PART_MBR # MBR partition scheme
28 options SYSVSHM # SYSV-style shared memory
29 options SYSVMSG # SYSV-style message queues
30 options SYSVSEM # SYSV-style semaphores
31 options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions
32 options MUTEX_NOINLINE
33 options RWLOCK_NOINLINE
34 options NO_FFS_SNAPSHOT
37 # Debugging for use in -current
38 #makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
39 options ALT_BREAK_TO_DEBUGGER
40 options KDB # Enable kernel debugger support
41 options DDB # Enable the kernel debugger
43 # NFS root from boopt/dhcp
47 options BOOTP_WIRED_TO=mge0
49 # Root fs on USB device
50 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
61 device mge # Marvell Gigabit Ethernet controller
66 options DEVICE_POLLING
69 device cesa # Marvell security engine
74 options USB_DEBUG # enable debug msgs
88 # Flattened Device Tree
89 options FDT # Configure using FDT/DTB data
90 options FDT_DTB_STATIC
91 makeoptions FDT_DTS_FILE=sheevaplug.dts