I'm thinking of picking up a fancy Intel ARM development board and bashing
*BSD and/or linux to run on it. I'd be grateful for any information on
who to talk to and the state of things now.

Regards,

Jon Schneider