On this topic I'd like to mention FOMU: https://tomu.im/fomu.html and https://workshop.fomu.im/ buy https://www.crowdsupply.com/sutajio-kosagi/fomu The self-directed workshop includes running a gdb:able Vex on ICE40. //Peter