Basically I bought the MicroZed because I thought it would be a good environment to some real time ASM development. I have been searching for a couple of days now trying to figure out how to build a bit stream with both cores available. I understand it isn't easy, between searches I have been trying to get a version to synthesize and have failed.
I know I am missing something, probably way more then I understand about the MicroZed. There are downloadable bit streams for other boards but nothing for the MicroZed. I can't really use a downloadable bit file anyway because I need to use the fpga.
Where does one look to figure this out?