2 # Custom kernel for EA3250 boards.
9 include "../lpc/std.lpc"
12 makeoptions MODULES_OVERRIDE=""
14 #makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
15 makeoptions WERROR="-Werror"
17 options SCHED_4BSD # 4BSD scheduler
18 options INET # InterNETworking
19 options INET6 # IPv6 communications protocols
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
24 options GEOM_PART_BSD # BSD partition scheme
25 options GEOM_PART_MBR # MBR partition scheme
26 options TMPFS # Efficient memory filesystem
31 options BOOTP_WIRED_TO=lpe0
33 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
35 options SYSVSHM # SYSV-style shared memory
36 options SYSVMSG # SYSV-style message queues
37 options SYSVSEM # SYSV-style semaphores
38 options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
39 options MUTEX_NOINLINE
40 options RWLOCK_NOINLINE
41 options NO_FFS_SNAPSHOT
45 options ALT_BREAK_TO_DEBUGGER
47 #options DEADLKRES # Enable the deadlock resolver
49 #options INVARIANTS # Enable calls of extra sanity checking
50 #options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
52 options WITNESS # Enable checks to detect deadlocks and cycles
53 options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
97 # Flattened Device Tree
99 options FDT_DTB_STATIC
100 makeoptions FDT_DTS_FILE=ea3250.dts