Last night I compiled AeroCoind on my Raspberry Pi in order to stake my coins on it. It's currently synchronizing (zzz). I'll add some coins this evening.

I could write a short HowTo if anybody is interested.