2 # Custom kernel for the TS-7800 board.
8 include "../mv/orion/std.ts7800"
12 #makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
13 makeoptions WERROR="-Werror"
15 options SCHED_4BSD # 4BSD scheduler
16 options INET # InterNETworking
17 options INET6 # IPv6 communications protocols
18 options FFS # Berkeley Fast Filesystem
19 options SOFTUPDATES # Enable FFS soft updates support
20 options NFSCL # New Network Filesystem Client
21 options NFSLOCKD # Network Lock Manager
22 options NFS_ROOT # NFS usable as /, requires NFSCL
26 options BOOTP_WIRED_TO=mge0
28 options GEOM_PART_BSD # BSD partition scheme
29 options GEOM_PART_MBR # MBR partition scheme
30 options TMPFS # Efficient memory filesystem
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
42 options ALT_BREAK_TO_DEBUGGER
45 options GDB # Support remote GDB.
60 device mge # Marvell Gigabit Ethernet controller
77 # Flattened Device Tree
79 options FDT_DTB_STATIC
80 makeoptions FDT_DTS_FILE=ts7800.dts