2 # Custom kernel for Marvell DB-88F5xxx boards.
10 include "../mv/orion/std.db88f5xxx"
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 GEOM_PART_BSD # BSD partition scheme
19 options GEOM_PART_MBR # MBR partition scheme
20 options TMPFS # Efficient memory filesystem
21 options FFS # Berkeley Fast Filesystem
22 options NFSCL # Network Filesystem Client
23 options NFSLOCKD # Network Lock Manager
24 options NFS_ROOT # NFS usable as /, requires NFSCL
28 options BOOTP_WIRED_TO=mge0
30 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
32 options SYSVSHM # SYSV-style shared memory
33 options SYSVMSG # SYSV-style message queues
34 options SYSVSEM # SYSV-style semaphores
35 options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
36 options MUTEX_NOINLINE
37 options RWLOCK_NOINLINE
38 options NO_FFS_SNAPSHOT
52 device mge # Marvell Gigabit Ethernet controller
57 options DEVICE_POLLING
80 # Flattened Device Tree
82 makeoptions FDT_DTS_FILE=db88f5281.dts