# $FreeBSD$

machine microblaze	

# TODO file to process
cpu	MICROBLAZE	
cpu	MICROBLAZELE	

#files	"../at91/files.at91"

options 	PHYSADDR=0x00000000
options 	KERNPHYSADDR=0x00000000
options 	KERNVIRTADDR=0xc0000000

# TODO change this settings
#makeoptions	LDFLAGS="-zmuldefs"
makeoptions	KERNPHYSADDR=0x00000000
makeoptions	KERNVIRTADDR=0xc0000000

options 	FDT

options 	SOC_MV_DISCOVERY
options 	SOC_MV_KIRKWOOD
options 	SOC_MV_ORION

device		pci

nooptions	SMP
nooptions	MAXCPU

nooptions	COMPAT_FREEBSD4

nodevice	fdc
nodevice	sym
nodevice	ukbd

nodevice	sc
nodevice	blank_saver
nodevice	daemon_saver
nodevice	dragon_saver
nodevice	fade_saver
nodevice	fire_saver
nodevice	green_saver
nodevice	logo_saver
nodevice	rain_saver
nodevice	snake_saver
nodevice	star_saver
nodevice	warp_saver

nodevice	pcii
nodevice	snd_cmi
nodevice	tnt4882