Anybody interested?
I am porting the TinyVM from LeJOS NXJ to a bare LPC1759 underclocked at 100mhz.
Currently only has serial output and 1ms threading triggered from systick.
It might even be possible to use the binary on an mbed, but I don’t have one so it’s not tested.