if TARGET_IRONMAN

config SYS_SOC
	default "ironman"

config SYS_BOARD
	default "ironman"

config SYS_CONFIG_NAME
	default "ironman"

config SYS_TEXT_BASE
	default 0x10000000

config IDENT_STRING
	default "IRONMAN"

config SYS_PROMPT
	default "IRONMAN# "

endif
