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