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/10.1/sys/mips/conf/BERI_TEMPLATE 257527 2013-11-01 21:15:39Z brooks $
8 #
9
10 ident BERI_TEMPLATE
11
12 machine mips mips64
13
14 cpu CPU_BERI
15
16 options HZ=200
17
18 makeoptions ARCH_FLAGS="-march=mips64 -mabi=64"
19
20 makeoptions KERNLOADADDR=0xffffffff80100000
21
22 include "../beri/std.beri"
23
24 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
25
26 makeoptions MODULES_OVERRIDE=""
27
28 options DDB
29 options KDB
30 options ALT_BREAK_TO_DEBUGGER
31 options KTRACE
32
33 options CAPABILITY_MODE
34 options CAPABILITIES
35
36 options SCHED_ULE
37
38 options FFS #Berkeley Fast Filesystem
39
40 options INET
41 options INET6
42 options KGSSAPI
43 options NFSCL
44 options NFSLOCKD
45 options NFS_ROOT
46
47 # Debugging for use in -current
48 #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
51 #options WITNESS #Enable checks to detect deadlocks and cycles
52 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
53
54 device crypto
55 device cryptodev
56 device ether
57 device geom_map
58 device loop
59 device md
60 device random
61 device snp
Cache object: ed05aee7485619cd61a7f7ef68613103
|