I've been playing a bit with Erlang lately, trying out the Erlang on Linux, small state machines on microcontrollers approach. What I miss is a way to run something more erlang-like on the uC. E.g. spawnable tasks, high level data structures. libprim/PF might be a good candidate for this. that is, the linear machine.