>>LorenD+(OP)
I gave it a try many years ago and its speed was jawdropping. Too bad that a port to ARM would require a complete rewrite; those cheaper lower end *Pi-like embedded boards seem just the perfect platforms to take advantage of such a small and fast OS.
>>square+yg
For ARM32, RISC OS is probably the closest to the value proposition offered by Menuet, albeit with a decent amount of high level code and a lot more support from developers for applications, languages, and games.