Martin Guy <martinwguy@gmail.com> is not a Debian Developer but worked with Wookey for ARM on bootstrapping the ArmEabiPort from Jan to Dec 2006 and on debugging it from Nov 2007 to July 2008.

Technical home page: http://martinwguy.co.uk