My custom Lanai-based microcontrollers (QF105, https://github.com/q3k/qf100) have arrived today from Efabless!
This batch (MPW5) has timing issues that I'll have to chase out first, but hopefully we can get this to blink a LED sooner than later.
This should be easy with Efabless also having shipped a whole STM32/Micropython jig to qualify I/O configuration hold time violations.