Raspberry Pi port, piCore-15.0 is available!
it's verry hard to get a lot of radical alternatives out of one mind...
... unless it just happens to be a really weird mind
OOP has led to bloat wherever it has been used. MHO.