Thank you for the clarification.
Okay, so comparing the cost of complexity of an LPC134x board is not an "apples for apples" comparison with LPC1768. To bring a LPC1768 board up, either people hack a Nokia DKU-5 cable to make their own USB to Serial adapter, or get a 'proper' USB to serial adapter, or a JTAG programmer.
All of these solutions are more expensive than an Arduino/Freeduino. As I wrote, Arduino is my benchmark cost and capability. I'm aiming for half-price, i.e. £7/$10 micro-controller with comparable capabilities, and not more expensive even if it gives more capabilities.
The important point about the LPC134x for me is it removes cost and complexity. I was attracted to Arduino because of its low cost of entry and ease of use, and I find both children and adults respond the same way.
I am probably out of step with most Mbed users, but I prefer a lowest-cost, least complexity solution over richer peripheral sets. IMHO, an Arduino is enough to learn an amazing range of things. I think most Arduino users get a lot of value from it, and many never exhaust its capabilities. An LPC134x is better, and would cost less. I'd love Ethernet, but I'd like to attract 2x more users even more :-)
Of course, if someone released an ARM with a USB-flash-drive bootloader, and Ethernet, for a sub-Arduino price, I'd be very happy (no driver, no weird loader application, supported on most platforms, i.e. Windows, Mac, Linux, ...). I'd happily spend time making boards, and porting software to it. Frustratingly, all the pieces exist, just not in an off-the-shelf device, and all it needs is a pre-programmed part, no new electronics (are you reading this NXP, ST, Atmel, TI, ...?). STM32F105 is a near solution, but DFU doesn't seem to be properly supported on all major platforms. STM32F105, LPC17xx, SAM3U or LM3S with the right USB bootloader would all be good for me.
Thank you very much for taking the time to write, you've helped me clarify my thinking.
GB-)
I stumbled across this NXP press release for the LPC134x.
It says "The on-chip USB drivers support both the Mass Storage Class (MSC) and Human Interface Device (HID) class. Furthermore, these drivers are incorporated in ROM, saving customers approximately 5-6 K bytes of user code"
Looking at this presentation, (slide 25), the chip shows up under Windows (and they say Linux) as a Flash drive. It has this capability built in at manufacture! No need for a bootloader, JTAG, or a second chip. Solder it on a board, and it should 'just work'!
An entire USB-based micro-controller board only needs an LPC1342 or LPC1343, a crystal, voltage regulator, a few passives and PCB.
The LPC1342 is available from Farnell for £2.20 and LPC1343 for £2.70 or £3.30.
These micro-controllers are less powerful than an mbed (no ethernet, for example), but comparable to an Arduino's ATmega168 or ATmega328.
HTH, GB-)