2 # Custom kernel for Marvell DB-88F6xxx boards.
9 include "../mv/kirkwood/std.db88f6xxx"
11 options SOC_MV_KIRKWOOD
13 makeoptions WERROR="-Werror"
15 options SCHED_4BSD # 4BSD scheduler
16 options INET # InterNETworking
17 options INET6 # IPv6 communications protocols
18 options TCP_HHOOK # hhook(9) framework for TCP
19 options FFS # Berkeley Fast Filesystem
20 options NANDFS # NAND Filesystem
21 options NFSCL # Network Filesystem Client
22 options NFSLOCKD # Network Lock Manager
23 options NFS_ROOT # NFS usable as /, requires NFSCL
24 options TMPFS # Efficient memory filesystem
25 options GEOM_PART_BSD # BSD partition scheme
26 options GEOM_PART_MBR # MBR partition scheme
27 options SYSVSHM # SYSV-style shared memory
28 options SYSVMSG # SYSV-style message queues
29 options SYSVSEM # SYSV-style semaphores
30 options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions
31 options MUTEX_NOINLINE
32 options RWLOCK_NOINLINE
33 options NO_FFS_SNAPSHOT
36 # NFS root from boopt/dhcp
40 options BOOTP_WIRED_TO=mge0
42 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
56 device mge # Marvell Gigabit Ethernet controller
62 device cesa # Marvell security engine
88 # Flattened Device Tree
89 options FDT # Configure using FDT/DTB data
90 options FDT_DTB_STATIC
91 makeoptions FDT_DTS_FILE=db88f6281.dts