2 # Custom kernel for Marvell DB-88F5xxx boards.
9 include "../mv/orion/std.db88f5xxx"
13 options SCHED_4BSD # 4BSD scheduler
14 options INET # InterNETworking
15 options INET6 # IPv6 communications protocols
16 options TCP_HHOOK # hhook(9) framework for TCP
17 options GEOM_PART_BSD # BSD partition scheme
18 options GEOM_PART_MBR # MBR partition scheme
19 options TMPFS # Efficient memory filesystem
20 options FFS # Berkeley Fast Filesystem
21 options NFSCL # Network Filesystem Client
22 options NFSLOCKD # Network Lock Manager
23 options NFS_ROOT # NFS usable as /, requires NFSCL
27 options BOOTP_WIRED_TO=mge0
29 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
31 options SYSVSHM # SYSV-style shared memory
32 options SYSVMSG # SYSV-style message queues
33 options SYSVSEM # SYSV-style semaphores
34 options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
35 options MUTEX_NOINLINE
36 options RWLOCK_NOINLINE
37 options NO_FFS_SNAPSHOT
51 device mge # Marvell Gigabit Ethernet controller
56 options DEVICE_POLLING
79 # Flattened Device Tree
81 makeoptions FDT_DTS_FILE=db88f5281.dts