FreeBSD/Linux Kernel Cross Reference
sys/mips/conf/std.BERI
1 #
2 # BERI_TEMPLATE -- a template kernel configuration for the SRI/Cambridge
3 # "BERI" (Bluespec Extensible RISC Implementation) FPGA soft core CPU. This
4 # kernel configuration file will be included by other board-specific files,
5 # and so contains only BERI features common across all board targets.
6 #
7 # $FreeBSD: releng/12.0/sys/mips/conf/std.BERI 317095 2017-04-18 17:20:03Z br $
8 #
9
10 machine mips mips64
11
12 cpu CPU_BERI
13
14 options HZ=200
15
16 makeoptions ARCH_FLAGS="-march=mips64 -mabi=64"
17
18 makeoptions KERNLOADADDR=0xffffffff80100000
19
20 include "../beri/std.beri"
21
22 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
23
24 makeoptions MODULES_OVERRIDE=""
25
26 options DDB
27 options KDB
28 options ALT_BREAK_TO_DEBUGGER
29 options KTRACE
30
31 options CAPABILITY_MODE
32 options CAPABILITIES
33
34 options COMPAT_FREEBSD10
35 options COMPAT_FREEBSD11
36
37 options INTRNG
38 options SCHED_ULE
39
40 options FFS #Berkeley Fast Filesystem
41
42 options INET
43 options INET6
44 options TCP_HHOOK # hhook(9) framework for TCP
45 options KGSSAPI
46 options NFSCL
47 options NFSLOCKD
48 options NFS_ROOT
49
50 # Debugging for use in -current
51 #options DEADLKRES #Enable the deadlock resolver
52 options INVARIANTS #Enable calls of extra sanity checking
53 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
54 #options WITNESS #Enable checks to detect deadlocks and cycles
55 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
56
57 device crypto
58 device cryptodev
59 device ether
60 device geom_map
61 device loop
62 device md
63 device random
64 device snp
Cache object: a7dea889cc1024af1eeabfb2039cf90f
|