Changeset View

Standalone View

	#			#
	# BERI_TEMPLATE -- a template kernel configuration for the SRI/Cambridge			# BERI_TEMPLATE -- a template kernel configuration for the SRI/Cambridge
	# "BERI" (Bluespec Extensible RISC Implementation) FPGA soft core CPU. This			# "BERI" (Bluespec Extensible RISC Implementation) FPGA soft core CPU. This
	# kernel configuration file will be included by other board-specific files,			# kernel configuration file will be included by other board-specific files,
	# and so contains only BERI features common across all board targets.			# and so contains only BERI features common across all board targets.
	#			#
	# $FreeBSD$			# $FreeBSD$
	#			#

	machine mips mips64			machine mips mips64

	cpu CPU_BERI			cpu CPU_BERI

	options HZ=200			options HZ=200

	makeoptions ARCH_FLAGS="-march=mips64 -mabi=64"

	makeoptions KERNLOADADDR=0xffffffff80100000			makeoptions KERNLOADADDR=0xffffffff80100000

	include "../beri/std.beri"			include "../beri/std.beri"

	makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols			makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols

	makeoptions MODULES_OVERRIDE=""			makeoptions MODULES_OVERRIDE=""

	Show All 39 Lines