The Hardware appendix lists quite a few Arduino and similar boards, but more have appeared since publication.
MAKE magazine blog has an article with ten of them!
Which ones would you like to see used for more ham radio projects?
http://blog.makezine.com/2013/06/10/10- ... -to-watch/