Error running 'hello' about fpga-zynq

[davidbiancolin]

@zhemao Can you address this, since you updated the images last.

[zhemao]

Oh crap, it looks like the DefaultFPGASmallConfig has virtual memory turned off now. So of course it's not going to work with the new pk, which requires virtual memory.

I can fix this in my outstanding PR for the serial tether change. It might take a while for that to make it in.

@jsren If you don't want to wait, you can go to rocket-chip/src/main/scala/coreplex/Configs.scala and edit the WithSmallCores config. If you change "UseVM" and "UseUser" to true and recompile the boot image, it should work.

[davidbiancolin]

@jsren You could also try the previous commit for the time being: 86d2cf1

[jsren]

@zhemao @davidbiancolin Cheers!

[aroelke]

I've been following the tutorial for pushing rocket modifications to the FPGA on my Zedboard using the default ZynqConfig configuration, and when I go to run the example hello program I get a similar error to what @jsren found:

fesvr-zynq: ../fesvr/dtm.cc:67: uint32_t dtm_t::run_program(const uint32_t*, size_t, size_t): Assertionn <= ram_words()' failed.`

Somehow it seems to think that the amount of memory the program wants is greater than available, but this also happens when I increase memory size (and I don't see how hello could need more than 256MB of memory anyway). This doesn't happen with the image that comes with the repository, but it does happen if I rebuild boot.bin according to the tutorial, or fetch it with make fetch-images.

Edit: Correction: This seems to not be happening anymore, even if I allocate more memory than the board has. I'm not sure what changed.

[zhemao]

This has been fixed by 9a0b82d.