2 # Custom kernel for the TS-7800 board.
8 include "../mv/orion/std.ts7800"
11 makeoptions MODULES_OVERRIDE=""
13 #makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
14 makeoptions WERROR="-Werror"
16 options SCHED_4BSD #4BSD scheduler
17 options INET #InterNETworking
18 options INET6 #IPv6 communications protocols
19 options FFS #Berkeley Fast Filesystem
20 options SOFTUPDATES # Enable FFS soft updates support
21 options NFSCL #New 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 SYSVSHM #SYSV-style shared memory
30 options SYSVMSG #SYSV-style message queues
31 options SYSVSEM #SYSV-style semaphores
32 options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
33 options MUTEX_NOINLINE
34 options RWLOCK_NOINLINE
35 options NO_FFS_SNAPSHOT
39 options ALT_BREAK_TO_DEBUGGER
42 options GDB # Support remote GDB.
57 device mge # Marvell Gigabit Ethernet controller
75 # Flattened Device Tree
77 options FDT_DTB_STATIC
78 makeoptions FDT_DTS_FILE=ts7800.dts