[BUG] Linux boot on Nexys Video CVA6 64-bit configuration #2116
Labels
notCV32A65X
It is not an CV32A65X issue
Type:Bug
For bugs in the RTL, Documentation, Verification environment or Tool and Build system
Is there an existing CVA6 bug for this?
Bug Description
Red Semi is trying to get Linux running on the Nexys Video build of the CVA soc, and this follows on the work from #1925
Digilent page on the Nexys Video board
FPGA model: XC7A200T-1SBG484C
The current work done by @Saute0212 allows to boot into Linux, however the ethernet controller is disabled on the FPGA design.
As part of the exercise, my colleague and I have been documenting the steps required to get to running Linux on FPGA: https://github.com/amiroshni/documenting-cva6
(Apologies to the CVA6 devs for adding clutter to the previously completed PR.)
Copying my last comment on the progress we had in Red on getting the FPGA to boot Linux:
Thank you for the fast response @Saute0212 !
My colleague and I followed your suggestions (except for the 4GB microsd card, but we ordered some).
Yes, we did.
Currently we only have the 16GB cards on hand, but ordered some 4GB ones for testing. Should arrive in 3-5 days.
Yes. Changed my documentation to use your cva6 fork: https://github.com/amiroshni/documenting-cva6
My colleague @shriyasharma11 generated the new bitstream and created a serial log of the boot process here: https://gist.github.com/shriyasharma11/12136b710edaa7eac2e1269a903f8cef
Interesting problems seem to repeat throughout the kernel boot:
(even though the micro sd card is not touched, kernel seems to think it's being removed).
We will also try on a different 16GB card (we have three of those), and once the 4GB arrives will test as well.
Edit: I also forgot to mention. After a while this error persists, and there is no further progress:
Further CPU resets don't make a difference (no more response from the SD card). My colleague actually managed to get the kernel to boot like this yesterday, but we needed to re-generate the bitstream today get a good plaintext log of the kernel. I wonder if there's also an FPGA-related issue (maybe timing) which stops the SD card from being read?
Originally posted by @amiroshni in #1925 (comment)
Since my last comment, we were able to get the bootrom to detect and copy the kernel from the SD card by unplugging and plugging in the micro sd card again (looks like the Nexys Video might have issue with our micro SD cards).
I will update once we test using 4GB micro SD cards.
The text was updated successfully, but these errors were encountered: