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