I have now moved the modified f32c/arduino system to a new repository:
There is a board manager URL there, so that you can install it using the Arduino board manager. I have only tested it on Linux and not tested it much at all.
It uses the tools from the f32c/arduino packages, but does not seem to need that to be installed - it automatically installs the tools, including the compiler, from that package.
I have included the binary and pcf file for Blackice II, so you can try it out without installing SpinalHDL.
Most of the core Arduino functionality is there other than interrupts and analog reads. The SPI and Wire libraries are there and work a bit, but have issues. The SD card library won't work. There are peripherals for PWM, tone, pulseIn, shifdtIn, shiftOut, and the Digilent 7 segment Pmod, but they are not tested much.
I have not done any of the dynamic configuration, or muxes so that all pins can be GPIO or PWM pins. You need to look at the pcf file to see what pins SPI, I2C and the various peripherals are attached to.
I have not implemented analog reads yet, but plan on looking at the STM32 Arduino QSPI solution to using the STM32 analog pins for that.
At some point I will attempt a SaxonSoc version.
I have removed most of the mips stuff and support for most of the boards that f32c supported. The only board that works is the generic one. There is more tidying up to do to remove the remnants of f32c and mips support.
If you select the 32kb BRAM board, it actually uses the Blackice external SRAM. If you select the 8kb board, it will use BRAM and only support small programs.