Hey List, I'm going to be getting an ARM machine (Siemens SIMpad) soon, and I really don't want to run Linux on it. What's the current status of development, who are the head honchos, and what can I do to help out (do we have a TODO anywhere)? --Devon