Raspberry Pi port, piCore-15.0 is available!
Although some of us have mentioned it in passing, we generally don't disclose our locations when we post. It'd be interesting to know where we all are. I'll start:Waipahu, Hawaii, USA (about 15 miles from Honolulu).
Munich, Germany