00:35 <futarisIRCcloud> https://www.amazon.com.au/dp/B07YB4DDRB might be ok for an external Acorn CLE-215+ over TB3.

00:52 <futarisIRCcloud> Mentioned in #riscv:

00:52 <futarisIRCcloud> https://www.cnx-software.com/2019/12/11/risc-v-based-polarfire-soc-fpga-and-devkit/

00:52 <tpb> Title: RISC-V based PolarFire SoC FPGA and Devkit Coming in Q3 2020 (at www.cnx-software.com)

00:54 <futarisIRCcloud> https://www.crowdsupply.com/microchip/polarfire-soc-icicle-kit

00:54 <tpb> Title: PolarFire SoC Icicle Kit | Crowd Supply (at www.crowdsupply.com)

06:44 <keesj> Whe I read risc-v in combo with fpga I always wonder if the risc-v is hard ip or not

06:45 <keesj> so.. here " complete hardened quad core 64-bit RISC-V processor " is probably still a soft core?

06:52 <daveshah> This time its pretty clearly hard IP

06:53 <daveshah> If nothing else a quad core RV64GC is unlikely to fit in a 25k FPGA

07:03 <keesj> I see and the document abobe is more clear on that topic https://www.cnx-software.com/wp-content/uploads/2019/12/PolarFire-SoC-FPGA-Block-Diagram.png there is even a 5th core RISC-V Monitor core

08:07 <keesj> https://github.com/trabucayre/openFPGALoader

08:07 <tpb> Title: GitHub - trabucayre/openFPGALoader: Universal utility for programming FPGA (at github.com)

08:09 <keesj> (did not test is but look interesting)

08:22 <futarisIRCcloud> https://www.eetimes.com/lattice-reinvents-general-purpose-fpga-offering/

08:38 <daveshah> It's just a CrossLink NX with the MIPI stuff not bonded

09:25 <futarisIRCcloud> BoF: Open Hardware and RISC-V - Drew Fustini, BeagleBoard.org Foundation & Stephano Cetola, The Linux Foundation at Open Source Summit + ELC North America 2020. https://sched.co/c3Yq. #ossummit

14:45 <mithro> https://github.com/BrunoLevy/learn-fpga -- RV32 on an icestick!

14:45 <tpb> Title: GitHub - BrunoLevy/learn-fpga: Learning FPGA, yosys, nextpnr, and RISC-V (at github.com)

14:46 <mithro> daveshah / keesj: I'm pretty sure it is a SiFive based core complex in the PolarFire board

14:46 <mithro> Given Microsemi's history with pricing -- I can't see it being cheap

14:48 <daveshah> The board might be cheap-ish but the chips definitely won't be

14:49 <daveshah> Microsemi is pretty close to "if you have to ask you can't afford it" pricing strategy

14:49 <daveshah> and their usual customer base don't need to ask...

14:55 <sorear> it's very definitely sifive-based, they've said as much

15:02 <somlo> _florent_: with litesdcard a9f61ef and litex e8f84c96 I can't boot in sd-mode (ignore if it's still a work in progress :)

19:18 <mithro> This is cool -> https://twitter.com/Obijuan_cube/status/1276229283145551876

20:07 <_florent_> somlo: it's indeed still a work in progress, i'll continue tomorrow, but upstream litex/litesdcard should be working

20:20 <somlo> _florent_: with 4094a6ec (litex) and 7e23147 (litesdcard), using rocket and nexys4ddr, it hangs at "booting from sdcard in sd-mode" (or somesuch, I don't have it in front of me right now)

20:21 <somlo> rebuilt it in spi-mode, which is why I can't give you the exact quote :) But it hangs there, won't fall through to netbooting, or to the LiteX bios prompt