I stumbled upon this site the other day. They have some cool looking developement boards including a universal one (UNI-DS2) that supports PIC, AVR, 8051, ARM and PSoC with little daughter boards. They have some compilers too with nice included libraries. They do not appear to have a US distributor.
Rather pricey and not very flexible boards