I wonder if the dsPIC line from Microchip can be developed using Linux? I've been meaning to look into those. At present, it seems that PICs or Atmel devices are the way to go when doing micro* stuff with Linux...although it would be nice to have better support.