# MALTA64 -- 64-bit kernel config for MALTA boards
#
# $FreeBSD$
 
ident		MALTA64

include		"std.MALTA"
 
machine		mips mips64el	# Malta supports both, so it isn't in std.malta
 
makeoptions	ARCH_FLAGS="-march=mips64 -mabi=64"
 
makeoptions 	KERNLOADADDR=0xffffffff80100000