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