target_sources(dummy PRIVATE dummy.c)

set_target_properties(dummy PROPERTIES
	HPSRAM_ADDR "0xa06a1000"
)