Hi, Do you guys know the Inferno platform? en.wikipedia.org/wiki/Inferno_(operating_system) Wouldn't it be a nice place to run GHC? All written in a type safe language (what kind of safety I'm not smart enough to say), seems to have a much simpler design than regular unix, virtual machine runs everywhere and, from my non-expert point of view, probably good for embedded software. This is, however, one of those I-have-no-idea-on- how-much-effort-is-needed-and-have-no-knowledge-to- help questions... Sorry for that. Best, Maurício