freebsd-skq/sys/mips/conf/std.BERI
John Baldwin 64f1604a76 Update MIPS kernel builds to work with mips-gcc.
- Use a default -march of mips64 on N64 and N32 kernels.
- Set the endianness (via MIPS_ENDIAN) and ABI (via MIPS_ABI) in
  CFLAGS from MACHINE_ARCH.  ARCH_FLAGS now only sets a different
  -march value if needed.
- TRAMP_ARCH_FLAGS inherits MIPS_ENDIAN from MACHINE_ARCH but does
  not set the ABI since XLPN32 needs an N64 ABI for the trampoline
  loader.  When TRAMP_ARCH_FLAGS is used it must set both -march
  and -mabi.

Reviewed by:	imp
Differential Revision:	https://reviews.freebsd.org/D22030
2019-10-15 17:11:42 +00:00

63 lines
1.4 KiB
Plaintext

#
# 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$
#
machine mips mips64
cpu CPU_BERI
options HZ=200
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 COMPAT_FREEBSD10
options COMPAT_FREEBSD11
options COMPAT_FREEBSD12
options INTRNG
options SCHED_ULE
options FFS #Berkeley Fast Filesystem
options INET
options INET6
options TCP_HHOOK # hhook(9) framework for TCP
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 snp