Wiki Tested page

[paulwratt]

FYI: The builds I did at the time of the other issues posted confirm boot on RPi B, and RP2B+.

I now have RPi 3B+ and RPi 4B+ (v1.1 4Gb) and a v1.3/1.4 (or 1.5?) 8Gb version coming in October. Hopefully builds to come before christmas (2021), even without further USB support.

I am also going to try a build for Teensy 4.0 (600Mhz dual core ARM M2 with 2Mb eeprom and 1Mb ram), but I dont have any expansion board for input or output at the moment, so it would be just proof of concept.

Also note, I see a repo by Mikro with a pTOS toolchain.