2 # Custom kernel for Marvell DB-78xx boards.
9 include "../mv/discovery/std.db78xxx"
11 options SOC_MV_DISCOVERY
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 GEOM_PART_BSD # BSD partition scheme
20 options GEOM_PART_MBR # MBR partition scheme
21 options TMPFS # Efficient memory filesystem
22 options FFS # Berkeley Fast Filesystem
23 options NFSCL # Network Filesystem Client
24 options NFSLOCKD # Network Lock Manager
25 options NFS_ROOT # NFS usable as /, requires NFSCL
29 options BOOTP_WIRED_TO=mge0
31 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
33 options SYSVSHM # SYSV-style shared memory
34 options SYSVMSG # SYSV-style message queues
35 options SYSVSEM # SYSV-style semaphores
36 options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
37 options MUTEX_NOINLINE
38 options RWLOCK_NOINLINE
39 options NO_FFS_SNAPSHOT
53 device mge # Marvell Gigabit Ethernet controller
79 # Flattened Device Tree
81 options FDT_DTB_STATIC
82 makeoptions FDT_DTS_FILE=db78100.dts