Raspberry Pi port, piCore-15.0 is available!
One feature I'm aiming for will be better functioning in low-ram situations. Less hangups with a heavy browser for example.