Out of curiosity, when you're working with a new micro controller, do you haul off and buy a $3,000 computer that can't run the tool chain?
This thing really is a waste of time, especially considering that the dev kits cost $100.
Just do a package deal with the A1X1K, package it with a nice x86 Windows machine so they can run the tool chain. Problem solved!