Raspberry Pi port, piCore-15.0 is available!
Those specs sound awfully lopsided. Machines with that fast a processor usually have much more RAM.
... but the "." is interpretation ...