ARCH=mips32el
SIMULATION_ARGS=mutekh/kernel-soclib-mips.out
SOCLIB_CC_ADD_ARGS=-t systemcass
SOCLIB?=$(shell soclib-cc --getpath)
NO_SOFT=1
SIMULATOR_BINARY=tsarv2_platform.x
export SOCLIB
SOCLIB_CC_ARGS=-p $(PLATFORM_DESC) 
include $(SOCLIB)/soclib/platform/topcells/all.mk