Hello,
I was able to port Rocket+L2 config onto a Zynq FPGA on ZCU106 and can boot Linux. I would like to run SPEC benchmarks under Linux. I have the compiled SPEC executables and was able to run it using the old fpga-zynq method because we created the initramfs and kernel ourselves. I don't know how to do that now with firemarshal and a 30 MB limit on image size. And, obviously, SPEC benchmarks are HUGE.
Questions -
1. How do I overcome the 30 MB limit? Is there a way to access the second partition on the SD card after booting? My guess is there isn't...I remember reading somewhere that there is no support for block devices. Should I just increase the limit and rebuild?
2. Is there a way to pass an existing kernel vmlinux image to firemarshal to simply package along with the bootloader and create an image? This gives me greater control over what I want to put in the initramfs rather than doing it via firemarshal.
3. If answer to (2) is "No", then is there an example for adding custom programs using firemarshal?