2 # Custom kernel for EA3250 boards.
8 include "../lpc/std.lpc"
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 NFSCL #Network Filesystem Client
21 options NFSLOCKD #Network Lock Manager
22 options NFS_ROOT #NFS usable as /, requires NFSCLIENT
27 options BOOTP_WIRED_TO=lpe0
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
41 options ALT_BREAK_TO_DEBUGGER
43 #options DEADLKRES #Enable the deadlock resolver
45 #options INVARIANTS #Enable calls of extra sanity checking
46 #options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
48 options WITNESS #Enable checks to detect deadlocks and cycles
49 options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
93 # Flattened Device Tree
95 options FDT_DTB_STATIC
96 makeoptions FDT_DTS_FILE=ea3250.dts