It's possible that there's an eforth for that chip family, the STM32F variants at least.
I think that my first FPU-equipped PC was a maybe 20 MHz 486DX.
The STM board only lacks the card bus and ram to totally outclass the 486 mobo and perhaps with USB it can carry what PCI bus could?