12:05 <bl0x> hi, is there any work currently being done to support Gowin FPGAs via yosys/nextpnr in Amaranth? If not, I could look into that.

12:10 <whitequark> I don't think there is

12:13 <bl0x> useful? I could test with a Tang Nano 9k.

12:18 <whitequark> yep, sounds good

21:46 <sporniket> hello, at one point, I will have a project where I want a firmware stored on the Flash memory alongside the bitstream (for an ECP5 based board). I did not find any howto/cookbook about this use case (I searched through project treillis, and daplink ; googled for "ecp5 treillis user data file" and other expressions like that). Did someone knows how

21:46 <sporniket> to do that, or am I on my own ?

21:48 <adamgreig[m]> There's no particular thing you need to do, the ecp5 will boot from the start of the flash (or you can leave a jump command at start to make it look elsewhere and stuff), and once booted your gateware can take over the spi pins to access the flash for your firmware

21:48 <adamgreig[m]> So long as the CPU knows what flash address to start from it should just work out fine

21:49 <adamgreig[m]> You'll need USERMCLK inside the ecp5 to drive the spi clock pin, and using the spi port will disable background autoreconfiguration if you're using that (eg for the bitflip detection stuff)

21:51 <sporniket> Ha, thanks for the tip about USERMCLK. And I was not clear enough : I would like to know how to store the firmware in the flash memory in the first place ?

22:31 <adamgreig[m]> Oh, as in how to write it to the flash? However you write the bitstream should be fine, you can do two writes or glue the two binaries together into one big binary or whatever

22:32 <adamgreig[m]> I use "ecpdap" which uses any cmsis-dap probe to talk to the ecp5 and program the spi flash connected to it, and you just give it a binary and a start address and it writes it, doesn't particularly care if it's a bitstream or firmware or what (well, if it's a bitstream it does detect that and can adjust idcode bits and so on, but anyway it works for firmware)

22:33 <adamgreig[m]> AFAIK most tools like ecpprog and so on should do this ok?

22:34 <adamgreig[m]> If the spi flash is directly attached to the ecp5 and the ecp5 is the only device on the JTAG scan chain, then you can set the ecp5 into spi passthrough and access the flash over JTAG, which is what those tools do

22:34 <adamgreig[m]> Otherwise you need some other way to access the spi flash, like a separate pin header and some usb to spi widget ("spidap" can use a cmsis-dap probe for this), or an MCU on the board or something like that