16:16 <jcreus> this is an extremely minor thing with really low priority but I noticed that HX8K-EVN is the only board on nmigen-boards that calls `iceprog` with -S to program from RAM, which threw me off at first because it comes from factory with the jumpers set for flash programming

16:17 <jcreus> would it make sense to perhaps make it such that you can call build() with an argument to specify whether or not to do SRAM programming? (defaulting to either)

16:17 <jcreus> happy to do a pull request for that but to reiterate it's really minor thing

16:19 <whitequark> we def should make it not use SRAM by default if it's jumpered like that

16:19 <whitequark> (I forgot which way mine was jumpered, was a long time)

16:19 <whitequark> adding a switch seems fine too

16:20 <daveshah> Looking at the pic on digikey and the fact it comes with a demo bitstream, looks like it is jumpered for flash from the factory

16:20 <jcreus> it came with SPI flash programming for me (arrived today in the mail), but who knows if it's always been like that

16:20 <jcreus> and yeah it comes with a demo blinky

16:22 <jcreus> I can submit a PR if that'd be helpful?

16:23 <jcreus> thinking of defaulting to flash (since that's what the other boards with iceprog use, icestick + icebreaker) and having a `use_sram=False` argument, or someothing like that

16:35 <whitequark> yup sure

18:38 <kc8apf> https://www.cnx-software.com/2019/12/16/trion-t20-bga256-fpga-development-kit-pulserain-reindeer-risc-v-rv32im-soft-cpu/amp/?__twitter_impression=true